Autonomous Vehicle Decision-Making and Monitoring based on Signal Temporal Logic and Mixed-Integer Programming.
Yunus Emre SahinRien QuirynenStefano Di CairanoPublished in: ACC (2020)
Keyphrases
- temporal logic
- mixed integer programming
- autonomous vehicles
- decision making
- model checking
- path planning
- column generation
- lot sizing
- obstacle avoidance
- mixed integer
- decision makers
- real time
- verification method
- lagrangian relaxation
- multiagent systems
- fuzzy logic
- robot control
- belief revision
- production planning
- mobile robot
- upper bound
- lower bound
- linear program
- knowledge base
- neural network