Towards the Formal Semantics of Scenario Tests for Autonomous Vehicles.
László KovácsOszkár SemeráthPublished in: LADC (2021)
Keyphrases
- formal semantics
- autonomous vehicles
- path planning
- structured environments
- obstacle avoidance
- logical language
- first order logic
- logical reasoning
- operational semantics
- robot control
- multiagent systems
- modeling language
- modelling language
- theorem prover
- cooperative
- multi agent
- owl dl ontology
- autonomous agents
- complex environments
- dynamic environments
- mobile robot
- user interface