Garlan, David

1. Machine Learning Meets Quantitative Planning: Enabling Self-Adaptation\n in Autonomous Robots
   2019/03/09 by Pooyan Jamshidi, Javier Cámara, Jamshidi, Pooyan +7 · 1 citation
   Business, Management and Accounting · Computer Science · Engineering · #Advanced Software Engineering Methodologies #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Product Development and Customization #Robotics (cs.RO) #Systems Engineering Methodologies and Applications
2. Integrating Graceful Degradation and Recovery through Requirement-driven Adaptation
   2024/01/18 by Simon Chu, Chu, Simon, Justin Koe +5 · 1 citation
   Engineering · Social Sciences · #Disaster Management and Resilience #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Languages and Automata Theory (cs.FL) #Infrastructure Resilience and Vulnerability Analysis #Logic in Computer Science (cs.LO) #Software Engineering (cs.SE) #Systems and Control (eess.SY) #electronic engineering #information engineering
3. Constrained LTL Specification Learning from Examples
   2024/12/03 by Zhang, Changjian, Kapoor, Parv, Dardik, Ian +4 · 1 citation
   #D.2.1 #D.2.2 #D.2.4 #D.3.1 #F.3.1 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Software Engineering (cs.SE)
4. Uncertainty Estimation by Human Perception versus Neural Models
   2025/06/18 by Mendes, Pedro, Romano, Paolo, Garlan, David · 2 citations
   Computer Science · #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Generative Adversarial Networks and Image Synthesis #Machine Learning (cs.LG)