Temporal Logic Formalisation of ISO 34502 Critical Scenarios: Modular Construction with the RSS Safety Distance.
Jesse ReimannNico MansionJames HaydonBenjamin BrayAgnishom ChattopadhyaySota SatoMasaki WagaÉtienne AndréIchiro HasuoNaoki UedaYosuke YokoyamaPublished in: SAC (2024)
Keyphrases
- temporal logic
- model checking
- satisfiability problem
- modal logic
- mazurkiewicz traces
- concurrent systems
- computation tree logic
- model checker
- verification method
- belief revision
- reactive systems
- formal specification language
- bounded model checking
- temporally extended
- temporal knowledge
- formal analysis
- context aware
- dynamic constraints
- domain specific
- linear temporal logic
- received signal strength
- inference rules