1

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
Computing Probability Distributions over a Hybrid State Space: Case Study and Practical Limitations
Alessandro Pinto, George A Mathew
Cite
Hierarchical multi-objective planning: From mission specifications to contingency management
We propose a hierarchical planning framework for mission planning and execution in uncertain and dynamic environments. We consider …
Xuchu Dennis Ding, Brendan Englot, Alessandro Pinto, Alberto Speranzon, Amit Surana
PDF Cite
A complexity metric for concurrent finite state machine based embedded software
The development cost of safety-critical embedded systems is dominated today by the cost of software including verification and …
Liangpeng Guo, Alberto Sangiovanni-Vincentelli, Alessandro Pinto
PDF Cite
Strategic planning under uncertainties via constrained Markov decision processes
In this paper, we propose a hierarchical mission planner where the state of the world and of the mission are abstracted into …
Xu Chu Ding, Alessandro Pinto, Amit Surana
PDF Cite