Alessandro Pinto
Alessandro Pinto
Home
Experience
Projects
Publications
Contact
Light
Dark
Automatic
1
Computer-Aided Generation of Assurance Cases
Assurance cases (ACs) have gained attention in the aerospace, medical, and other heavily-regulated industries as a means for providing …
Timothy Wang
,
Chanwook Oh
,
Matthew Low
,
Isaac Amundson
,
Zamira Daw
,
Alessandro Pinto
,
Massimiliano Chiodo
,
Guoqiang Wang
,
Saqib Hasan
,
Ryan Melville
Cite
Leveraging Compositional Methods for Modeling and Verification of an Autonomous Taxi System
The environments and the goals that an autonomous system needs to be able to understand and act upon are not fully known and clearly …
Alessandro Pinto
,
Anthony Corso
,
Edward Schmerling
PDF
Cite
Early Design Exploration of Space System Scenarios Using Assume-Guarantee Contracts
We present a compositional approach to modeling and analyzing space mission operation sequences with steps across multiple viewpoints. …
Nicolas Rouquette
,
Inigo Incer
,
Alessandro Pinto
Cite
Assurance for Autonomy - JPL's past research, lessons learned, and future directions
Robotic space missions have long depended on automation, defined in the 2015 NASA Technology Roadmaps as “the …
Martin Feather
,
Alessandro Pinto
PDF
Cite
Hierarchical Contract-Based Synthesis for Assurance Cases
An automatic synthesis problem is often characterized by an overall goal or specification to be satisfied, the set of all possible …
Timothy E Wang
,
Zamira Daw
,
Pierluigi Nuzzo
,
Alessandro Pinto
PDF
Cite
Automated Construction of Knowledge-Bases for Safety Critical Applications: Challenges and Opportunities.
Creation of machine-usable, high-quality knowledge-bases is a critical prerequisite for many important ap- plications that rely on …
Amit Bhatia
,
Alessandro Pinto
PDF
Cite
Requirement Specification, Analysis and Verification for Autonomous Systems
The environments and the goals that an autonomous system needs to be able to understand and act upon are not fully known and clearly …
Alessandro Pinto
PDF
Cite
An open and modular architecture for autonomous and intelligent systems
Over the past few decades, remarkable progress has been made in the the field of Artificial Intelligence (AI). For some tasks such as …
Alessandro Pinto
PDF
Cite
On learning sparse Boolean formulae for explaining AI decisions
In this paper, we consider the problem of learning Boolean formulae from examples obtained by actively querying an oracle that can …
Susmit Jha
,
Vasumathi Raman
,
Alessandro Pinto
,
Tuhin Sahai
,
Michael Francis
PDF
Cite
Metaphysics of planning domain descriptions
Domain models for sequential decision-making typically represent abstract versions of real-world systems. In practice, such abstract …
Siddharth Srivastava
,
Stuart Russell
,
Alessandro Pinto
PDF
Cite
»
Cite
×