Safe Autonomy Under Perception Uncertainty Using Chance-Constrained Temporal Logic.
Susmit JhaVasumathi RamanDorsa SadighSanjit A. SeshiaPublished in: J. Autom. Reason. (2018)
Keyphrases
- temporal logic
- chance constrained
- robust optimization
- chance constraints
- model checking
- stochastic programming
- mathematical programming
- knapsack problem
- chance constrained programming
- linear temporal logic
- computationally tractable
- reverse logistics
- multi agent systems
- computation tree logic
- cooperative
- decision theory
- finite state
- multistage
- lot sizing
- belief revision
- linear programming