Search Results for author: Tung Phan-Minh

Found 4 papers, 2 papers with code

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.

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.

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