1

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
Stringent safety design and verification methods for VTOL unmanned aerial vehicles
I Cherepinsky, A Pinto
Cite
A hierarchical wireless network architecture for building automation and control systems
The building automation industry is experiencing a sudden increase in the complexity of control systems, mainly due to the push towards …
M Mozumdar, Alberto Puggelli, Alessandro Pinto, Luciano Lavagno, Alberto L Sangiovanni-Vincentelli
PDF Cite
Model-based hierarchical optimal control design for HVAC systems
A hierarchical control architecture for balancing comfort and energy consumption in buildings is presented. The control design is based …
Mehdi Maasoumy, Alessandro Pinto, Alberto Sangiovanni-Vincentelli
PDF Cite