Autonomous Vehicle Decision-Making and Monitoring based on Signal Temporal Logic and Mixed-Integer Programming | IEEE Conference Publication | IEEE Xplore