9 citations · 15 across the 5 of their papers we have counts for
3 papers · 1 filter
Failure-Tolerant Contract-Based Design of an Automated Valet Parking System using a Directive-Response Architecture
Josefine Graebener, Tung Phan-Minh, Jiaqi Yan +2
Increased complexity in cyber-physical systems calls for modular system design methodologies that guarantee correct and reliable behavior, both in normal operations and in the pres…
Counter-example Guided Learning of Bounds on Environment Behavior
Yuxiao Chen, Sumanth Dathathri, Tung Phan-Minh +1
There is a growing interest in building autonomous systems that interact with complex environments. The difficulty associated with obtaining an accurate model for such environments…
Towards Assume-Guarantee Profiles for Autonomous Vehicles
Tung Phan-Minh, Karena X. Cai, Richard M. Murray
Rules or specifications for autonomous vehicles are currently formulated on a case-by-case basis, and put together in a rather ad-hoc fashion. As a step towards eliminating this pr…