From Uncertainty Data to Robust Policies for Temporal Logic Planning

DOI10.1145/3178126.3178136zbMath1417.93124arXiv1801.03663OpenAlexW2783766106MaRDI QIDQ4561448

Pier Giuseppe Sessa, Tony A. Wood, Maryam Kamgarpour, Damian Frick

Publication date: 6 December 2018

Published in: Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week) (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1801.03663

zbMATH Keywords

temporal logicdata-driven approachdisturbance feedbackrobust mixed-integer optimization

Mathematics Subject Classification ID

Sensitivity (robustness) (93B35) Mixed integer programming (90C11) Quadratic programming (90C20) Feedback control (93B52) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Related Items (1)

Trajectory planning under environmental uncertainty with finite-sample safety guarantees

This page was built for publication: From Uncertainty Data to Robust Policies for Temporal Logic Planning