Search Results for author: Tung Phan-Minh

Found 4 papers, 2 papers with code

Counter-example Guided Learning of Bounds on Environment Behavior

1 code implementation20 Jan 2020 Yuxiao Chen, Sumanth Dathathri, Tung Phan-Minh, Richard M. Murray

There is a growing interest in building autonomous systems that interact with complex environments.

Failure-Tolerant Contract-Based Design of an Automated Valet Parking System using a Directive-Response Architecture

no code implementations24 Mar 2021 Josefine Graebener, Tung Phan-Minh, Jiaqi Yan, Qiming Zhao, Richard M. Murray

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 presence of failures.

Cannot find the paper you are looking for? You can Submit a new open access paper.