Formalizing and Evaluating Requirements of Perception Systems for Automated Vehicles using Spatio-Temporal Perception Logic.
Mohammad HekmatnejadBardh HoxhaJyotirmoy V. DeshmukhYezhou YangGeorgios FainekosPublished in: CoRR (2022)
Keyphrases
- spatio temporal
- complex systems
- spatial and temporal
- distributed systems
- human perception
- knowledge base
- legacy systems
- digital circuits
- modal logic
- technical systems
- asynchronous circuits
- intelligent transportation systems
- real time systems
- multi valued
- semi automated
- traffic flow
- real time
- building blocks
- computer systems
- management system
- artificial intelligence