Tung Phan-Minh
Orcid: 0000-0002-1403-5197
According to our database1,
Tung Phan-Minh
authored at least 10 papers
between 2019 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
Rules of the Road: Formal Guarantees for Autonomous Vehicles With Behavioral Contract Design.
IEEE Trans. Robotics, June, 2023
Proceedings of the IEEE International Conference on Robotics and Automation, 2023
2022
2021
Failure-Tolerant Contract-Based Design of an Automated Valet Parking System using a Directive-Response Architecture.
CoRR, 2021
2020
CoRR, 2020
Proceedings of the 2020 IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2020
2019
Proceedings of the 3rd Annual Conference on Robot Learning, 2019
Proceedings of the 58th IEEE Conference on Decision and Control, 2019
A modal interface contract theory for guarded input/output automata with an application in traffic system design.
Proceedings of the 2019 American Control Conference, 2019