Supervisor synthesis of POMDP via automata learning

[1]  Edwin Olson,et al.  Exploration and mapping with autonomous robot teams , 2013, CACM.

[2]  Emilio Frazzoli,et al.  Control of probabilistic systems under dynamic, partially known environments with temporal logic specifications , 2012, 2012 IEEE 51st IEEE Conference on Decision and Control (CDC).

[3]  S. Shankar Sastry,et al.  A POMDP framework for human-in-the-loop system , 2014, 53rd IEEE Conference on Decision and Control.

[4]  Hai Lin,et al.  Learning based supervisor synthesis of POMDP for PCTL specifications , 2015, 2015 54th IEEE Conference on Decision and Control (CDC).

[5]  Xiaobin Zhang,et al.  Performance guaranteed human-robot collaboration with POMDP supervisory control , 2019 .

[6]  Krishnendu Chatterjee,et al.  Randomness for Free , 2010, MFCS.

[7]  Jaime Valls Miró,et al.  POMDP-based long-term user intention prediction for wheelchair navigation , 2008, 2008 IEEE International Conference on Robotics and Automation.

[8]  Nils Jansen,et al.  Control Theory Meets POMDPs: A Hybrid Systems Approach , 2019, IEEE Transactions on Automatic Control.

[9]  Leslie Pack Kaelbling,et al.  Planning and Acting in Partially Observable Stochastic Domains , 1998, Artif. Intell..

[10]  Krishnendu Chatterjee,et al.  What is decidable about partially observable Markov decision processes with ω-regular objectives , 2013, J. Comput. Syst. Sci..

[11]  Hai Lin,et al.  POMDP Model Learning for Human Robot Collaboration , 2018, 2018 IEEE Conference on Decision and Control (CDC).

[12]  Ufuk Topcu,et al.  Synthesis of Joint Control and Active Sensing Strategies Under Temporal Logic Constraints , 2016, IEEE Transactions on Automatic Control.

[13]  Benedikt Bollig,et al.  libalf: The Automata Learning Framework , 2010, CAV.

[14]  Marta Z. Kwiatkowska,et al.  Permissive Controller Synthesis for Probabilistic Systems , 2014, TACAS.

[15]  Hadas Kress-Gazit,et al.  Temporal-Logic-Based Reactive Mission and Motion Planning , 2009, IEEE Transactions on Robotics.

[16]  Calin Belta,et al.  Temporal Logic Motion Planning and Control With Probabilistic Satisfaction Guarantees , 2012, IEEE Transactions on Robotics.

[17]  Joost-Pieter Katoen,et al.  Counterexample Generation in Probabilistic Model Checking , 2009, IEEE Transactions on Software Engineering.

[18]  Z. Taşkın.  Tutorial Guide to Mixed-Integer Programming Models and Solution Techniques , 2008 .

[19]  Hai Lin,et al.  Permissive Supervisor Synthesis for Markov Decision Processes Through Learning , 2017, IEEE Transactions on Automatic Control.

[20]  Hai Lin,et al.  Distributed Communication-Aware Motion Planning for Networked Mobile Robots Under Formal Specifications , 2020, IEEE Transactions on Control of Network Systems.

[21]  Michael D. Lemmon,et al.  Formal Methods for Stability Analysis of Networked Control Systems With IEEE 802.15.4 Protocol , 2018, IEEE Transactions on Control Systems Technology.

[22]  Nils Jansen,et al.  The COMICS Tool - Computing Minimal Counterexamples for DTMCs , 2012, ATVA.

[23]  Dimos V. Dimarogonas,et al.  Synthesizing least-limiting guidelines for safety of semi-autonomous systems , 2015, 2016 IEEE 55th Conference on Decision and Control (CDC).

[24]  Ufuk Topcu,et al.  Cost-Bounded Active Classification Using Partially Observable Markov Decision Processes , 2018, 2019 American Control Conference (ACC).

[25]  Joel Veness,et al.  Monte-Carlo Planning in Large POMDPs , 2010, NIPS.

[26]  Dana Angluin,et al.  Learning Regular Sets from Queries and Counterexamples , 1987, Inf. Comput..

[27]  Ufuk Topcu,et al.  Synthesis of Control Protocols for Autonomous Systems , 2013 .