From Specifications to Behavior: Maneuver Verification in a Semantic State Space.
Klemens EsterleVincent AravantinosAlois C. KnollPublished in: IV (2019)
Keyphrases
- state space
- automated verification
- high level
- concurrent systems
- model checking
- formal verification
- reinforcement learning
- domain specific
- model checker
- semantic knowledge
- state transition
- asynchronous circuits
- closed loop
- markov decision processes
- heuristic search
- semantic similarity
- semantic constraints
- semantic information
- dynamic programming
- delay insensitive
- search space
- semantic network
- semantic analysis
- semantic search
- initial state
- signature verification
- reactive systems
- protocol specification