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
Conference paper
Publication
21st International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS)
Related
MLTL Multi-type: A Typed Logic for Cyber-Physical Systems
Encoding Intractable Specifications via Implied Domain Constraints
MLTL Multi-type: A logic to reason over signals of different types
Multimodal Model Predictive Runtime Verification for Safety of Autonomous Cyber-Physical Systems
Analysis of the Effects of Perception Inconsistency Among Interacting Vehicles in Partially Observable Environments
Cite
×