Encoding and monitoring responsibility sensitive safety rules for automated vehicles in signal temporal logic.
Mohammad HekmatnejadShakiba YaghoubiAdel DokhanchiHeni Ben AmorAviral ShrivastavaLina J. KaramGeorgios FainekosPublished in: MEMOCODE (2019)
Keyphrases
- temporal logic
- linear temporal logic
- model checking
- real time
- modal logic
- satisfiability problem
- monitoring system
- concurrent systems
- traffic accidents
- computation tree logic
- mazurkiewicz traces
- verification method
- predicate logic
- reactive systems
- belief revision
- transition systems
- bounded model checking
- model checker
- multi agent systems
- formal methods
- finite state
- temporal knowledge
- inference rules
- search space
- formal specification language
- knowledge base