Events
From u-t-autonomous.info
- NSF CPS PI Meeting Mini-Workshop -- Reliable Autonomy for Human-Cyber-Physical Systems: CPS-VO page, Main page
- Workshop on Verification and Synthesis for Hybrid Systems: Final report
- AAAI 2016 Fall Symposium: Cross-Disciplinary Challenges for Autonomous Systems
- Workshop on the Integration of Control Theory, Formal Methods, Learning and Human Factors for Autonomous Systems
Workshop accommodation information (for those held at the University of Austin at Texas)
