Alessandro Abate, Maria Prandini, John Lygeros & Shankar Sastry (2008):
Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems.
Automatica 44(11),
pp. 2724 – 2734,
doi:10.1016/j.automatica.2008.03.027.
Rajeev Alur, Thomas A. Henzinger, Gerardo Lafferriere & George J. Pappas (2000):
Discrete abstractions of hybrid systems.
Proc. IEEE 88(7),
pp. 971–984,
doi:10.1109/5.871304.
Aaron D. Ames, Samuel Coogan, Magnus Egerstedt, Gennaro Notomista, Koushil Sreenath & Paulo Tabuada (2019):
Control Barrier Functions: Theory and Applications.
In: ECC.
IEEE,
pp. 3420–3431,
doi:10.23919/ECC.2019.8796030.
Thom S. Badings, Alessandro Abate, Nils Jansen, David Parker, Hasan A. Poonawala & Mariëlle Stoelinga (2022):
Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian Noise.
In: AAAI.
AAAI Press,
pp. 9669–9678,
doi:10.1609/aaai.v36i9.21201.
Thom S. Badings, Nils Jansen, Hasan A. Poonawala & Mariëlle Stoelinga (2023):
Correct-by-construction reach-avoid control of partially observable linear stochastic systems.
CoRR abs/2103.02398,
doi:10.48550/arXiv.2103.02398.
Thom S. Badings, Licio Romao, Alessandro Abate & Nils Jansen (2023):
Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models with Epistemic Uncertainty.
In: AAAI.
AAAI Press,
pp. 14701–14710,
doi:10.1609/aaai.v37i12.26718.
Thom S. Badings, Licio Romao, Alessandro Abate, David Parker, Hasan A. Poonawala, Mariëlle Stoelinga & Nils Jansen (2022):
Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions.
J. Artif. Intell. Res.,
doi:10.1613/jair.1.14253.
Christel Baier & Joost-Pieter Katoen (2008):
Principles of model checking.
MIT Press.
Somil Bansal, Mo Chen, Sylvia L. Herbert & Claire J. Tomlin (2017):
Hamilton-Jacobi reachability: A brief overview and recent advances.
In: CDC.
IEEE,
pp. 2242–2253,
doi:10.1109/CDC.2017.8263977.
Calin Belta, Boyan Yordanov & Ebru Aydin Gol (2017):
Formal Methods for Discrete-Time Dynamical Systems.
Springer International Publishing,
doi:10.1007/978-3-319-50763-7.
Lars Blackmore, Masahiro Ono, Askar Bektassov & Brian C. Williams (2010):
A Probabilistic Particle-Control Approximation of Chance-Constrained Stochastic Predictive Control.
IEEE Trans. Robotics 26(3),
pp. 502–517,
doi:10.1109/TRO.2010.2044948.
Marco C. Campi, Algo Carè & Simone Garatti (2021):
The scenario approach: A tool at the service of data-driven decision making.
Annu. Rev. Control. 52,
pp. 1–17,
doi:10.1016/j.arcontrol.2021.10.004.
Marco C. Campi & Simone Garatti (2008):
The Exact Feasibility of Randomized Solutions of Uncertain Convex Programs.
SIAM J. Optim. 19(3),
pp. 1211–1230,
doi:10.1137/07069821X.
Nathalie Cauchi & Alessandro Abate (2019):
StocHy: Automated Verification and Synthesis of Stochastic Processes.
In: TACAS (2),
Lecture Notes in Computer Science 11428.
Springer,
pp. 247–264,
doi:10.1007/978-3-030-17465-1_14.
Nathalie Cauchi, Luca Laurenti, Morteza Lahijanian, Alessandro Abate, Marta Kwiatkowska & Luca Cardelli (2019):
Efficiency through uncertainty: scalable formal synthesis for stochastic hybrid systems.
In: HSCC.
ACM,
pp. 240–251,
doi:10.1145/3302504.3311805.
Xin Chen, Erika Ábrahám & Sriram Sankaranarayanan (2013):
Flow*: An Analyzer for Non-linear Hybrid Systems.
In: CAV,
Lecture Notes in Computer Science 8044.
Springer,
pp. 258–263,
doi:10.1007/978-3-642-39799-818.
Xu Chu Ding, Mircea Lazar & Calin Belta (2012):
Formal Abstraction of Linear Systems via Polyhedral Lyapunov Functions.
In: ADHS,
IFAC Proceedings Volumes 45.
Elsevier,
pp. 88–93,
doi:10.3182/20120606-3-NL-3011.00096.
Oswaldo Luiz Valle Do Costa, Ricardo Paulino Marques & Marcelo Dutra Fragoso (2005):
Discrete-Time Markov Jump Linear Systems.
Springer,
doi:10.1007/b138575.
Chuchu Fan, Zengyi Qin, Umang Mathur, Qiang Ning, Sayan Mitra & Mahesh Viswanathan (2022):
Controller Synthesis for Linear System With Reach-Avoid Specifications.
IEEE Trans. Autom. Control. 67(4),
pp. 1713–1727,
doi:10.1109/TAC.2021.3069723.
Jaime F. Fisac, Mo Chen, Claire J. Tomlin & S. Shankar Sastry (2015):
Reach-avoid problems with time-varying dynamics, targets and constraints.
In: HSCC.
ACM,
pp. 11–20,
doi:10.1145/2728606.2728612.
Robert Givan, Sonia M. Leach & Thomas L. Dean (2000):
Bounded-parameter Markov decision processes.
Artif. Intell. 122(1-2),
pp. 71–109,
doi:10.1016/S0004-3702(00)00047-3.
Sofie Haesaert, Petter Nilsson, Cristian Ioan Vasile, Rohan Thakker, Ali-akbar Agha-mohammadi, Aaron D. Ames & Richard M. Murray (2018):
Temporal Logic Control of POMDPs via Label-based Stochastic Simulation Relations.
In: ADHS,
IFAC-PapersOnLine 51.
Elsevier,
pp. 271–276,
doi:10.1016/j.ifacol.2018.08.046.
Ernst Moritz Hahn, Tingting Han & Lijun Zhang (2011):
Synthesis for PCTL in Parametric Markov Decision Processes.
In: NASA Formal Methods,
Lecture Notes in Computer Science 6617.
Springer,
pp. 146–161,
doi:10.1007/978-3-642-20398-5_12.
Hans Hansson & Bengt Jonsson (1994):
A Logic for Reasoning about Time and Reliability.
Formal Aspects Comput. 6(5),
pp. 512–535,
doi:10.1007/BF01211866.
Marta Z. Kwiatkowska, Gethin Norman & David Parker (2011):
PRISM 4.0: Verification of Probabilistic Real-Time Systems.
In: CAV,
Lecture Notes in Computer Science 6806.
Springer,
pp. 585–591,
doi:10.1007/978-3-642-22110-147.
Morteza Lahijanian, Sean B. Andersson & Calin Belta (2015):
Formal Verification and Synthesis for Discrete-Time Stochastic Systems.
IEEE Trans. Autom. Control. 60(8),
pp. 2031–2045,
doi:10.1109/TAC.2015.2398883.
Abolfazl Lavaei, Sadegh Soudjani, Alessandro Abate & Majid Zamani (2022):
Automated verification and synthesis of stochastic hybrid systems: A survey.
Automatica 146,
pp. 110617,
doi:10.1016/j.automatica.2022.110617.
Brian Paden, Michal Cáp, Sze Zheng Yong, Dmitry S. Yershov & Emilio Frazzoli (2016):
A Survey of Motion Planning and Control Techniques for Self-Driving Urban Vehicles.
IEEE Trans. Intell. Veh. 1(1),
pp. 33–55,
doi:10.1109/TIV.2016.2578706.
Sangwoo Park, Erchin Serpedin & Khalid A. Qaraqe (2013):
Gaussian Assumption: The Least Favorable but the Most Useful [Lecture Notes].
IEEE Signal Process. Mag. 30(3),
pp. 183–186,
doi:10.1109/MSP.2013.2238691.
André Platzer (2012):
Logics of Dynamical Systems.
In: LICS.
IEEE Computer Society,
pp. 13–24,
doi:10.1109/LICS.2012.13.
Alberto Puggelli, Wenchao Li, Alberto L. Sangiovanni-Vincentelli & Sanjit A. Seshia (2013):
Polynomial-Time Verification of PCTL Properties of MDPs with Convex Uncertainties.
In: CAV,
Lecture Notes in Computer Science 8044.
Springer,
pp. 527–542,
doi:10.1007/978-3-642-39799-835.
Martin L. Puterman (1994):
Markov Decision Processes: Discrete Stochastic Dynamic Programming.
Wiley Series in Probability and Statistics.
Wiley,
doi:10.1002/9780470316887.
Luke Rickard, Thom S. Badings, Licio Romao, Nils Jansen & Alessandro Abate (2022):
Formal Controller Synthesis for Markov Jump Linear Systems with Uncertain Dynamics.
CoRR abs/2212.00679,
doi:10.48550/arXiv.2212.00679.
Licio Romao, Antonis Papachristodoulou & Kostas Margellos (2023):
On the Exact Feasibility of Convex Scenario Programs With Discarded Constraints.
IEEE Trans. Autom. Control. 68(4),
pp. 1986–2001,
doi:10.1109/TAC.2022.3165320.
Fedor Shmarov & Paolo Zuliani (2015):
ProbReach: verified probabilistic delta-reachability for stochastic hybrid systems.
In: HSCC.
ACM,
pp. 134–139,
doi:10.1145/2728606.2728625.
Sadegh Esmaeil Zadeh Soudjani & Alessandro Abate (2013):
Adaptive and Sequential Gridding Procedures for the Abstraction and Verification of Stochastic Processes.
SIAM J. Appl. Dyn. Syst. 12(2),
pp. 921–956,
doi:10.1137/120871456.
Eric M. Wolff, Ufuk Topcu & Richard M. Murray (2012):
Robust control of uncertain Markov Decision Processes with temporal logic specifications.
In: CDC.
IEEE,
pp. 3372–3379,
doi:10.1109/CDC.2012.6426174.
eptcs@eptcs.org