Autonomous Vehicle Decision-Making and Monitoring based on Signal Temporal Logic and Mixed-Integer Programming

Yunus Emre Sahin, Rien Quirynen, Stefano Di Cairano. Autonomous Vehicle Decision-Making and Monitoring based on Signal Temporal Logic and Mixed-Integer Programming. In 2020 American Control Conference, ACC 2020, Denver, CO, USA, July 1-3, 2020. pages 454-459, IEEE, 2020. [doi]

Abstract

Abstract is missing.