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