From Specifications to Behavior: Maneuver Verification in a Semantic State Space.
Klemens EsterleVincent AravantinosAlois C. KnollPublished in: CoRR (2019)
Keyphrases
- state space
- model checking
- high level
- concurrent systems
- automated verification
- heuristic search
- temporal logic
- semantic information
- natural language
- semantic constraints
- formal verification
- markov decision process
- state variables
- semantic similarity
- model checker
- semantic search
- asynchronous circuits
- bounded model checking
- human behavior
- reinforcement learning
- domain knowledge
- multi agent
- closed loop
- semantic network
- semantic annotation
- domain independent
- state transition
- optimal policy
- functional requirements
- semantic web
- particle filter
- domain specific
- dynamic programming
- control system
- keywords