v1v2 (latest)

Incremental Control Synthesis in Probabilistic Environments with Temporal Logic Constraints

IEEE Conference on Decision and Control (CDC), 2012

1 September 2012

A. Ulusoy

Tichakorn Wongpiromsarn

C. Belta

ArXiv (abs)PDF HTML

Papers citing "Incremental Control Synthesis in Probabilistic Environments with Temporal Logic Constraints"

9 / 9 papers shown

Formal Synthesis of Controllers for Safety-Critical Autonomous Systems: Developments and Challenges

Xiang Yin

Bingzhao Gao

Xiao Yu

299

20 Feb 2024

Reinforcement Learning Based Temporal Logic Control with Soft Constraints Using Limit-deterministic Generalized Buchi Automata

473

25 Jan 2021

Adversarial Attacks on Optimization based PlannersIEEE International Conference on Robotics and Automation (ICRA), 2020

Sai H. Vemprala

Ashish Kapoor

AAML

499

30 Oct 2020

Minimum-Violation Planning for Autonomous Systems: Theoretical and Practical ConsiderationsAmerican Control Conference (ACC), 2020

Tichakorn Wongpiromsarn

Konstantin Slutsky

Emilio Frazzoli

Ufuk Topcu

210

24 Sep 2020

Optimal Probabilistic Motion Planning with Potential Infeasible LTL ConstraintsIEEE Transactions on Automatic Control (TAC), 2020

562

28 Jul 2020

Safe Mission Planning under Dynamical UncertaintiesIEEE International Conference on Robotics and Automation (ICRA), 2020

Yimeng Lu

Maryam Kamgarpour

134

05 Mar 2020

Probabilistic Motion Planning under Temporal Tasks and Soft Constraints

Meng Guo

Michael M. Zavlanos

267

16 Jun 2017

Controller Synthesis for Linear Time-varying Systems with Adversaries

Zhenqi Huang

Yu Wang

Sayan Mitra

Geir Dullerud

145

18 Jan 2015

Technical Report: Distribution Temporal Logic: Combining Correctness with Quality of Estimation

Austin M. Jones

Mac Schwager

C. Belta

290

09 Sep 2013