C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Evaluating Perception Systems for Autonomous Vehicles Using Quality Temporal Logic.
Adel Dokhanchi
Heni Ben Amor
Jyotirmoy V. Deshmukh
Georgios Fainekos
Published in:
RV (2018)
Keyphrases
</>
temporal logic
model checking
autonomous vehicles
reactive systems
modal logic
dynamic constraints
satisfiability problem
knowledge based systems
distributed systems
concurrent systems
expert systems
obstacle avoidance
heuristic search
petri net
control algorithm
search algorithm
artificial intelligence
real time