Low-Level Reachability Analysis Based on Formal Logic.
Nico NausFreek VerbeekMarc SchooldermanBinoy RavindranPublished in: TAP (2023)
Keyphrases
- reachability analysis
- formal logic
- low level
- model checking
- predicate logic
- markov decision processes
- high level
- formal methods
- temporal logic
- lower level
- higher level
- timed automata
- incremental algorithms
- design theory
- state space
- description logics
- visual information
- logic programming
- constraint satisfaction problems
- design principles
- dynamic programming
- search space