Tichakorn (Nok) Wongpiromsarn
Tichakorn (Nok) Wongpiromsarn
Home
News
Research
Publications
Talks
Teaching
Posts
Contact
Maximum Satisfiability in Mission-time Linear Temporal Logic
Gokul Hariharan
,
Phillip H. Jones
,
Kristin Y. Rozier
,
Tichakorn Wongpiromsarn
2023
PDF
Cite
Project
Type
To appear
Publication
21st International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS)
Related
MLTL Multi-type: A logic to reason over signals of different types
Enhancing System-level Safety in Autonomous Driving via Feedback Learning
Quantifying Faulty Assumptions in Heterogeneous Multi-Agent Systems
Formal Methods for Autonomous Systems
Evaluation Metrics for Object Detection for Autonomous Systems
Cite
×