
@inproceedings{DBLP:conf/aaai/GuptaTB15,
  author       = {Ujjwal Das Gupta and
                  Erik Talvitie and
                  Michael Bowling},
  title        = {Policy Tree: Adaptive Representation for Policy Gradient},
  booktitle    = {{AAAI}},
  @pages        = {2547--2553},
  @publisher    = {{AAAI} Press},
  year         = {2015}
}

@inproceedings{pet2,
	author       = {Tobias Meggendorfer and
	Maximilian Weininger},
	title        = {Playing Games with Your {PET:} Extending the Partial Exploration Tool
	to Stochastic Games},
	booktitle    = {{CAV} {(3)}},
	series       = {Lecture Notes in Computer Science},
	volume       = {14683},
	pages        = {359--372},
	publisher    = {Springer},
	year         = {2024},
	doi          = {10.1007/978-3-031-65633-0_16}
}
@inproceedings{SWITSS,
	author       = {Simon Jantsch and
	Hans Harder and
	Florian Funke and
	Christel Baier},
	title        = {{SWITSS}: Computing Small Witnessing Subsystems},
	booktitle    = {{FMCAD}},
	pages        = {236--244},
	publisher    = {{IEEE}},
	year         = {2020},
	doi          = {10.34727/2020/ISBN.978-3-85448-042-6\_31}
}

@inproceedings{DBLP:conf/xai/DubslaffKP24,
	author       = {Clemens Dubslaff and
	Verena Kl{\"{o}}s and
	Juliane P{\"{a}}{\ss}ler},
	title        = {Template Decision Diagrams for Meta Control and Explainability},
	booktitle    = {xAI {(2)}},
	series       = {Communications in Computer and Information Science},
	volume       = {2154},
	pages        = {219--242},
	publisher    = {Springer},
	year         = {2024}
}



@misc{andriushchenko2025smalldecisiontreesmdps,
	title={Small Decision Trees for MDPs with Deductive Synthesis}, 
	author={Roman Andriushchenko and Milan Češka and Sebastian Junges and Filip Macák},
	year={2025},
	eprint={2501.10126},
	archivePrefix={arXiv},
	primaryClass={cs.LO},
	url={https://arxiv.org/abs/2501.10126}, 
}

@inproceedings{DBLP:conf/vecos/BuddeDH24,
	author       = {Carlos E. Budde and
	Pedro R. D'Argenio and
	Arnd Hartmanns},
	title        = {Digging for Decision Trees: {A} Case Study in Strategy Sampling and
	Learning},
	booktitle    = {AISoLA},
	@series       = {Lecture Notes in Computer Science},
	@volume       = {15217},
	@pages        = {354--378},
	@publisher    = {Springer},
	year         = {2024},
	@xurl          = {https://doi.org/10.1007/978-3-031-75434-0\_24},
	@doi          = {10.1007/978-3-031-75434-0\_24}
}







@inproceedings{DBLP:conf/aaai/TopinMFV21,
	author       = {Nicholay Topin and
	Stephanie Milani and
	Fei Fang and
	Manuela Veloso},
	title        = {Iterative Bounding MDPs: Learning Interpretable Policies via Non-Interpretable
	Methods},
	booktitle    = {{AAAI}},
	@pages        = {9923--9931},
	@publisher    = {{AAAI} Press},
	year         = {2021},
	@xurl          = {https://doi.org/10.1609/aaai.v35i11.17192},
	@doi          = {10.1609/AAAI.V35I11.17192}
}




@inproceedings{HJQW23,
	author       = {Arnd Hartmanns and
	Sebastian Junges and
	Tim Quatmann and
	Maximilian Weininger},
	editor       = {Sriram Sankaranarayanan and
	Natasha Sharygina},
	title        = {A Practitioner's Guide to {MDP} Model Checking Algorithms},
	booktitle    = {29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
	({TACAS})},
	series       = {Lecture Notes in Computer Science},
	volume       = {13993},
	pages        = {469--488},
	publisher    = {Springer},
	year         = {2023},
	doi          = {10.1007/978-3-031-30823-9_24}
}

@article{DBLP:journals/sttt/JungermannKW23,
	author       = {Florian J{\"{u}}ngermann and
	Jan Kret{\'{\i}}nsk{\'{y}} and
	Maximilian Weininger},
	title        = {Algebraically explainable controllers: decision trees and support
	vector machines join forces},
	journal      = {Int. J. Softw. Tools Technol. Transf.},
	@volume       = {25},
	@number       = {3},
	@pages        = {249--266},
	year         = {2023},
	@xurl          = {https://doi.org/10.1007/s10009-023-00716-z},
	@doi          = {10.1007/S10009-023-00716-Z}
}



@article{DBLP:journals/widm/AngelovSJAA21,
	author       = {Plamen P. Angelov and
	Eduardo A. Soares and
	Richard Jiang and
	Nicholas I. Arnold and
	Peter M. Atkinson},
	title        = {Explainable artificial intelligence: an analytical review},
	journal      = {WIREs Data Mining Knowl. Discov.},
	volume       = {11},
	number       = {5},
	year         = {2021},
	xurl          = {https://doi.org/10.1002/widm.1424},
	doi          = {10.1002/WIDM.1424}
}



@article{DBLP:journals/pieee/RamadgeW89,
	author       = {Peter J. Ramadge and
	Walter Murray Wonham},
	title        = {The control of discrete event systems},
	journal      = {Proc. {IEEE}},
	volume       = {77},
	number       = {1},
	pages        = {81--98},
	year         = {1989},
	xurl          = {https://doi.org/10.1109/5.21072},
	doi          = {10.1109/5.21072}
}


@inproceedings{DTstrat,
  title={{1--2--3--Go!} Policy Synthesis for Parameterized {Markov} Decision Processes via Decision-Tree Learning and Generalization},
  author={Azeem, Muqsit and Chakraborty, Debraj and Kanav, Sudeep and K{\v{r}}et{\'\i}nsk{\'y}, Jan and Mohagheghi, Mohammadsadegh and Mohr, Stefanie and Weininger, Maximilian},
  booktitle={VMCAI},
  @pages={97--120},
  year={2025},
  @organization={Springer}
}

@inproceedings{JanHSCC25,
  title={Explaining Control Policies through Predicate Decision Diagrams},
  author={Chakraborty, Debraj and Dubslaff, Clemens and Kanav, Sudeep and Kretinsky, Jan and Weinhuber, Christoph},
  booktitle={HSCC},
  @pages={1--12},
  year={2025}
}


@inproceedings{DBLP:conf/papm/DArgenioJJL02,
	author = "D'Argenio, Pedro R. and Jeannet, Bertrand and Jensen, Henrik Ejersbo and Larsen, Kim Guldstrand",
	title = "Reduction and Refinement Strategies for Probabilistic Analysis",
	booktitle = "{PAPM-PROBMIV}",
	series = "{LNCS}",
	volume = "2399",
	pages = "57--76",
	publisher = "Springer",
	year = "2002",
	doi = "10.1007/3-540-45605-8_5",
}


@inproceedings{DBLP:conf/ijcai/CordobaJABSSPK23,
	author       = {Filip Cano C{\'{o}}rdoba and
	Samuel Judson and
	Timos Antonopoulos and
	Katrine Bj{\o}rner and
	Nicholas Shoemaker and
	Scott J. Shapiro and
	Ruzica Piskac and
	Bettina K{\"{o}}nighofer},
	title        = {Analyzing Intentional Behavior in Autonomous Agents under Uncertainty},
	booktitle    = {{IJCAI}},
	pages        = {372--381},
	publisher    = {ijcai.org},
	year         = {2023},
	xurl          = {https://doi.org/10.24963/ijcai.2023/42}
}




@inproceedings{DBLP:conf/icalp/Fearnley10,
	author    = {John Fearnley},
	title     = {Exponential Lower Bounds for Policy Iteration},
	booktitle = {{ICALP} {(2)}},
	series    = {Lecture Notes in Computer Science},
	volume    = {6199},
	pages     = {551--562},
	publisher = {Springer},
	year      = {2010},
	xurl       = {https://doi.org/10.1007/978-3-642-14162-1\_46},
	doi       = {10.1007/978-3-642-14162-1\_46}
}



@article{DBLP:journals/corr/abs-1106-0778,
	author    = {Oliver Friedmann},
	title     = {An Exponential Lower Bound for the Latest Deterministic Strategy Iteration
	Algorithms},
	journal   = {Log. Methods Comput. Sci.},
	volume    = {7},
	number    = {3},
	year      = {2011},
	xurl       = {https://doi.org/10.2168/LMCS-7(3:23)2011},
	doi       = {10.2168/LMCS-7(3:23)2011}
}


@article{DBLP:journals/lmcs/FearnleyS18,
	author    = {John Fearnley and
	Rahul Savani},
	title     = {The Complexity of All-switches Strategy Improvement},
	journal   = {Log. Methods Comput. Sci.},
	volume    = {14},
	number    = {4},
	year      = {2018},
	xurl       = {https://doi.org/10.23638/LMCS-14(4:9)2018},
	doi       = {10.23638/LMCS-14(4:9)2018}
}



@article{DBLP:journals/talg/Johnson07,
	author    = {David S. Johnson},
	title     = {The {NP}-completeness column: Finding needles in haystacks},
	journal   = {{ACM} Trans. Algorithms},
	volume    = {3},
	number    = {2},
	pages     = {24},
	year      = {2007},
	xurl       = {https://doi.org/10.1145/1240233.1240247},
	doi       = {10.1145/1240233.1240247}
}



@article{nash1950equilibrium,
	title={Equilibrium points in n-person games},
	author={Nash Jr, John F},
	journal={Proceedings of the national academy of sciences},
	volume={36},
	number={1},
	pages={48--49},
	year={1950},
	publisher={National Acad Sciences},
	url={https://www.pnas.org/doi/full/10.1073/pnas.36.1.48}
}

@article{solan2015stochastic,
	title={Stochastic games},
	author={Solan, Eilon and Vieille, Nicolas},
	journal={Proceedings of the National Academy of Sciences},
	volume={112},
	number={45},
	pages={13743--13746},
	year={2015},
	publisher={National Acad Sciences},
	url={https://www.pnas.org/doi/epdf/10.1073/pnas.1513508112}
}


@article{safhi2019assessing,
	title={Assessing reliability of big data knowledge discovery process},
	author={Safhi, Hicham Moad and Frikh, Bouchra and Ouhbi, Brahim},
	journal={Procedia computer science},
	volume={148},
	pages={30--36},
	year={2019},
	publisher={Elsevier},
	xurl={https://doi.org/10.1016/j.procs.2019.01.005},
	doi={10.1016/j.procs.2019.01.005}
}

@article{DBLP:journals/jifs/SharmaKK21,
	author    = {Shalini Sharma and
	Naresh Kumar and
	Kuldeep Singh Kaswan},
	title     = {Big data reliability: {A} critical review},
	journal   = {J. Intell. Fuzzy Syst.},
	volume    = {40},
	number    = {3},
	pages     = {5501--5516},
	year      = {2021},
	xurl       = {https://doi.org/10.3233/JIFS-202503},
	doi       = {10.3233/JIFS-202503}
}



@inproceedings{DBLP:conf/atva/GeeraertsKGMR10,
	author    = {Gilles Geeraerts and
	Gabriel Kalyon and
	Tristan Le Gall and
	Nicolas Maquet and
	Jean{-}Fran{\c{c}}ois Raskin},
	title     = {Lattice-Valued Binary Decision Diagrams},
	booktitle = {{ATVA}},
	series    = {Lecture Notes in Computer Science},
	volume    = {6252},
	pages     = {158--172},
	publisher = {Springer},
	year      = {2010},
	xurl       = {https://doi.org/10.1007/978-3-642-15643-4\_13},
	doi       = {10.1007/978-3-642-15643-4\_13}
}



@inproceedings{DBLP:conf/concur/AlmagorKV16,
	author    = {Shaull Almagor and
	Orna Kupferman and
	Yaron Velner},
	title     = {Minimizing Expected Cost Under Hard Boolean Constraints, with Applications
	to Quantitative Synthesis},
	booktitle = {{CONCUR}},
	series    = {LIPIcs},
	volume    = {59},
	pages     = {9:1--9:15},
	publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
	year      = {2016},
	xurl       = {https://doi.org/10.4230/LIPIcs.CONCUR.2016.9},
	doi       = {10.4230/LIPIcs.CONCUR.2016.9}
}



@article{DBLP:journals/iandc/Chatterjee0RR15,
	author    = {Krishnendu Chatterjee and
	Laurent Doyen and
	Mickael Randour and
	Jean{-}Fran{\c{c}}ois Raskin},
	title     = {Looking at mean-payoff and total-payoff through windows},
	journal   = {Inf. Comput.},
	volume    = {242},
	pages     = {25--52},
	year      = {2015},
	xurl       = {https://doi.org/10.1016/j.ic.2015.03.010},
	doi       = {10.1016/j.ic.2015.03.010}
}


@inproceedings{DBLP:conf/fsttcs/ChatterjeeDHR10,
	author    = {Krishnendu Chatterjee and
	Laurent Doyen and
	Thomas A. Henzinger and
	Jean{-}Fran{\c{c}}ois Raskin},
	title     = {Generalized Mean-payoff and Energy Games},
	booktitle = {{FSTTCS}},
	series    = {LIPIcs},
	volume    = {8},
	pages     = {505--516},
	publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
	year      = {2010},
	xurl       = {https://doi.org/10.4230/LIPIcs.FSTTCS.2010.505},
	doi       = {10.4230/LIPIcs.FSTTCS.2010.505}
}




@inproceedings{DBLP:conf/lics/KupfermanS21,
	author    = {Orna Kupferman and
	Noam Shenwald},
	title     = {Perspective Multi-Player Games},
	booktitle = {{LICS}},
	pages     = {1--13},
	publisher = {{IEEE}},
	year      = {2021},
	xurl       = {https://doi.org/10.1109/LICS52264.2021.9470616},
	doi       = {10.1109/LICS52264.2021.9470616}
}



@inproceedings{DBLP:conf/lics/KupfermanV19,
	author    = {Orna Kupferman and
	Gal Vardi},
	title     = {Perspective Games},
	booktitle = {{LICS}},
	pages     = {1--13},
	publisher = {{IEEE}},
	year      = {2019},
	xurl       = {https://doi.org/10.1109/LICS.2019.8785662},
	doi       = {10.1109/LICS.2019.8785662}
}



@incollection{sorin2003stochastic,
	title={Stochastic games with incomplete information},
	author={Sorin, Sylvain},
	booktitle={Stochastic Games and applications},
	pages={375--395},
	year={2003},
	publisher={Springer},
	xurl={https://doi.org/10.1007/978-94-010-0189-2\_25},
	doi={10.1007/978-94-010-0189-2\_25}
}

@incollection{DBLP:books/cu/11/0001R11,
	author    = {Laurent Doyen and
	Jean{-}Fran{\c{c}}ois Raskin},
	title     = {Games with imperfect information: theory and algorithms},
	booktitle = {Lectures in Game Theory for Computer Scientists},
	pages     = {185--212},
	publisher = {Cambridge University Press},
	year      = {2011},
	url={http://www.lsv.fr/~doyen/papers/Games_with_Imperfect_Information_Theory_Algorithms.pdf}
}



@phdthesis{DBLP:phd/dnb/Hashemi17,
	author    = {Vahid Hashemi},
	title     = {Decision algorithms for modelling, optimal control and verification
	of probabilistic systems},
	school    = {Saarland University, Saarbr{\"{u}}cken, Germany},
	year      = {2017},
	url       = {https://publikationen.sulb.uni-saarland.de/handle/20.500.11880/26947}
}



@inproceedings{DBLP:conf/concur/BruyereRT21,
	author    = {V{\'{e}}ronique Bruy{\`{e}}re and
	Jean{-}Fran{\c{c}}ois Raskin and
	Cl{\'{e}}ment Tamines},
	title     = {Stackelberg-Pareto Synthesis},
	booktitle = {{CONCUR}},
	series    = {LIPIcs},
	volume    = {203},
	pages     = {27:1--27:17},
	publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
	year      = {2021},
	xurl       = {https://doi.org/10.4230/LIPIcs.CONCUR.2021.27},
	doi       = {10.4230/LIPIcs.CONCUR.2021.27}
}



@article{DBLP:journals/jcss/BrihayeBGT21,
	author    = {Thomas Brihaye and
	V{\'{e}}ronique Bruy{\`{e}}re and
	Aline Goeminne and
	Nathan Thomasset},
	title     = {On relevant equilibria in reachability games},
	journal   = {J. Comput. Syst. Sci.},
	volume    = {119},
	pages     = {211--230},
	year      = {2021},
	xurl       = {https://doi.org/10.1016/j.jcss.2021.02.009},
	doi       = {10.1016/j.jcss.2021.02.009}
}



@article{DBLP:journals/amai/KupfermanPV16,
	author    = {Orna Kupferman and
	Giuseppe Perelli and
	Moshe Y. Vardi},
	title     = {Synthesis with rational environments},
	journal   = {Ann. Math. Artif. Intell.},
	volume    = {78},
	number    = {1},
	pages     = {3--20},
	year      = {2016},
	xurl       = {https://doi.org/10.1007/s10472-016-9508-8},
	doi       = {10.1007/s10472-016-9508-8}
}



@inproceedings{DBLP:conf/tacas/FismanKL10,
	author    = {Dana Fisman and
	Orna Kupferman and
	Yoad Lustig},
	title     = {Rational Synthesis},
	booktitle = {{TACAS}},
	series    = {Lecture Notes in Computer Science},
	volume    = {6015},
	pages     = {190--204},
	publisher = {Springer},
	year      = {2010},
	xurl       = {https://doi.org/10.1007/978-3-642-12002-2\_16},
	doi       = {10.1007/978-3-642-12002-2\_16}
}



@inproceedings{DBLP:conf/concur/AlmagorAK15,
	author    = {Shaull Almagor and
	Guy Avni and
	Orna Kupferman},
	title     = {Repairing Multi-Player Games},
	booktitle = {{CONCUR}},
	series    = {LIPIcs},
	volume    = {42},
	pages     = {325--339},
	publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
	year      = {2015},
	xurl       = {https://doi.org/10.4230/LIPIcs.CONCUR.2015.325},
	doi       = {10.4230/LIPIcs.CONCUR.2015.325}
}



@inproceedings{DBLP:conf/atal/GutierrezKW19,
	author    = {Julian Gutierrez and
	Sarit Kraus and
	Michael J. Wooldridge},
	title     = {Cooperative Concurrent Games},
	booktitle = {{AAMAS}},
	pages     = {1198--1206},
	publisher = {International Foundation for Autonomous Agents and Multiagent Systems},
	year      = {2019},
	url       = {http://dl.acm.org/citation.cfm?id=3331822}
}


@inproceedings{DBLP:conf/tacas/KwiatkowskaNPS22,
	author    = {Marta Kwiatkowska and
	Gethin Norman and
	David Parker and
	Gabriel Santos},
	title     = {Correlated Equilibria and Fairness in Concurrent Stochastic Games},
	booktitle = {{TACAS} {(2)}},
	series    = {Lecture Notes in Computer Science},
	volume    = {13244},
	pages     = {60--78},
	publisher = {Springer},
	year      = {2022},
	xurl       = {https://doi.org/10.1007/978-3-030-99527-0\_4},
	doi       = {10.1007/978-3-030-99527-0\_4}
}



@inproceedings{DBLP:conf/lata/BrenguierCHPRRS16,
	author    = {Romain Brenguier and
	Lorenzo Clemente and
	Paul Hunter and
	Guillermo A. P{\'{e}}rez and
	Mickael Randour and
	Jean{-}Fran{\c{c}}ois Raskin and
	Ocan Sankur and
	Mathieu Sassolas},
	title     = {Non-Zero Sum Games for Reactive Synthesis},
	booktitle = {{LATA}},
	series    = {Lecture Notes in Computer Science},
	volume    = {9618},
	pages     = {3--23},
	publisher = {Springer},
	year      = {2016},
	xurl       = {https://doi.org/10.1007/978-3-319-30000-9\_1},
	doi       = {10.1007/978-3-319-30000-9\_1}
}




@inproceedings{DBLP:conf/cav/AlmagorK20,
	author    = {Shaull Almagor and
	Orna Kupferman},
	title     = {Good-Enough Synthesis},
	booktitle = {{CAV} {(2)}},
	series    = {Lecture Notes in Computer Science},
	volume    = {12225},
	pages     = {541--563},
	publisher = {Springer},
	year      = {2020},
	xurl       = {https://doi.org/10.1007/978-3-030-53291-8\_28},
	doi       = {10.1007/978-3-030-53291-8\_28}
}


@article{DBLP:journals/ijgt/MaitraS98,
	author    = {Ashok P. Maitra and
	William D. Sudderth},
	title     = {Finitely additive stochastic games with {B}orel measurable payoffs},
	journal   = {Int. J. Game Theory},
	volume    = {27},
	number    = {2},
	pages     = {257--267},
	year      = {1998},
	xurl       = {https://doi.org/10.1007/s001820050071},
	doi       = {10.1007/s001820050071}
}





@article{DBLP:journals/apal/Martin90,
	author    = {Donald A. Martin},
	title     = {An Extension of Borel Determinacy},
	journal   = {Ann. Pure Appl. Log.},
	volume    = {49},
	number    = {3},
	pages     = {279--293},
	year      = {1990},
	xurl       = {https://doi.org/10.1016/0168-0072(90)90029-2},
	doi       = {10.1016/0168-0072(90)90029-2}
}


@inproceedings{DBLP:conf/stoc/HansenKLMT11,
	author    = {Kristoffer Arnsfelt Hansen and
	Michal Kouck{\'{y}} and
	Niels Lauritzen and
	Peter Bro Miltersen and
	Elias P. Tsigaridas},
	title     = {Exact algorithms for solving stochastic games: extended abstract},
	booktitle = {{STOC}},
	pages     = {205--214},
	publisher = {{ACM}},
	year      = {2011},
	xurl       = {https://doi.org/10.1145/1993636.1993665},
	doi       = {10.1145/1993636.1993665}
}



@inproceedings{DBLP:conf/amcc/LinM13,
	author    = {Kun Lin and
	Steven I. Marcus},
	title     = {Dynamic programming with non-convex risk-sensitive measures},
	booktitle = {{ACC}},
	pages     = {6778--6783},
	publisher = {{IEEE}},
	year      = {2013},
	xurl       = {https://doi.org/10.1109/ACC.2013.6580904},
	doi       = {10.1109/ACC.2013.6580904}
}



@inproceedings{DBLP:conf/lics/KretinskyM18,
	author    = {Jan Kret{\'{\i}}nsk{\'{y}} and
	Tobias Meggendorfer},
	title     = {Conditional Value-at-Risk for Reachability and Mean Payoff in {M}arkov
	Decision Processes},
	booktitle = {{LICS}},
	pages     = {609--618},
	publisher = {{ACM}},
	year      = {2018},
	xurl       = {https://doi.org/10.1145/3209108.3209176},
	doi       = {10.1145/3209108.3209176}
}



@inproceedings{DBLP:conf/tacas/BansalCV21,
	author    = {Suguman Bansal and
	Krishnendu Chatterjee and
	Moshe Y. Vardi},
	title     = {On Satisficing in Quantitative Games},
	booktitle = {{TACAS} {(1)}},
	series    = {Lecture Notes in Computer Science},
	volume    = {12651},
	pages     = {20--37},
	publisher = {Springer},
	year      = {2021},
	xurl       = {https://doi.org/10.1007/978-3-030-72016-2\_2},
	doi       = {10.1007/978-3-030-72016-2\_2}
}




@inproceedings{DBLP:conf/concur/AvniH20,
	author    = {Guy Avni and
	Thomas A. Henzinger},
	title     = {A Survey of Bidding Games on Graphs (Invited Paper)},
	booktitle = {{CONCUR}},
	series    = {LIPIcs},
	volume    = {171},
	pages     = {2:1--2:21},
	publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
	year      = {2020},
	xurl       = {https://doi.org/10.4230/LIPIcs.CONCUR.2020.2},
	doi       = {10.4230/LIPIcs.CONCUR.2020.2}
}






@incollection{FRIEDMAN1994781,
	title = {Chapter 22 {D}ifferential games},
	booktitle = {Handbook of Game Theory with Economic Applications},
	publisher = {Elsevier},
	volume = {2},
	pages = {781-799},
	year = {1994},
	issn = {1574-0005},
	doi = {10.1016/S1574-0005(05)80054-2},
	xurl = {https://doi.org/10.1016/S1574-0005(05)80054-2},
	author = {Avner Friedman}
}


@inproceedings{DBLP:conf/fossacs/AbdullaHAMS08,
	author    = {Parosh Aziz Abdulla and
	Noomene Ben Henda and
	Luca de Alfaro and
	Richard Mayr and
	Sven Sandberg},
	title     = {Stochastic Games with Lossy Channels},
	booktitle = {FoSSaCS},
	series    = {Lecture Notes in Computer Science},
	volume    = {4962},
	pages     = {35--49},
	publisher = {Springer},
	year      = {2008},
	xurl       = {https://doi.org/10.1007/978-3-540-78499-9\_4},
	doi       = {10.1007/978-3-540-78499-9\_4}
}




@inproceedings{DBLP:conf/spire/Ley02,
	author    = {Michael Ley},
	title     = {The {DBLP} Computer Science Bibliography: Evolution, Research Issues,
	Perspectives},
	booktitle = {{SPIRE}},
	series    = {Lecture Notes in Computer Science},
	volume    = {2476},
	pages     = {1--10},
	publisher = {Springer},
	year      = {2002},
	xurl       = {https://doi.org/10.1007/3-540-45735-6\_1},
	doi       = {10.1007/3-540-45735-6\_1}
}


@incollection{DBLP:series/natosec/AlurBDF0JKMMRSSSSTU15,
	author    = {Rajeev Alur and
	Rastislav Bod{\'{\i}}k and
	Eric Dallal and
	Dana Fisman and
	Pranav Garg and
	Garvit Juniwal and
	Hadas Kress{-}Gazit and
	P. Madhusudan and
	Milo M. K. Martin and
	Mukund Raghothaman and
	Shambwaditya Saha and
	Sanjit A. Seshia and
	Rishabh Singh and
	Armando Solar{-}Lezama and
	Emina Torlak and
	Abhishek Udupa},
	title     = {Syntax-Guided Synthesis},
	booktitle = {Dependable Software Systems Engineering},
	series    = {{NATO} Science for Peace and Security Series, {D:} Information and
	Communication Security},
	volume    = {40},
	pages     = {1--25},
	publisher = {{IOS} Press},
	year      = {2015},
	xurl       = {https://doi.org/10.3233/978-1-61499-495-4-1},
	doi       = {10.3233/978-1-61499-495-4-1}
}



@incollection{DBLP:series/lncs/KordonLPT19,
	author    = {Fabrice Kordon and
	Michael Leuschel and
	Jaco van de Pol and
	Yann Thierry{-}Mieg},
	title     = {Software Architecture of Modern Model Checkers},
	booktitle = {Computing and Software Science},
	series    = {Lecture Notes in Computer Science},
	volume    = {10000},
	pages     = {393--419},
	publisher = {Springer},
	year      = {2019},
	xurl       = {https://doi.org/10.1007/978-3-319-91908-9\_20},
	doi       = {10.1007/978-3-319-91908-9\_20}
}



@article{DBLP:journals/jlp/KatoenKLW12,
	author    = {Joost{-}Pieter Katoen and
	Daniel Klink and
	Martin Leucker and
	Verena Wolf},
	title     = {Three-valued abstraction for probabilistic systems},
	journal   = {J. Log. Algebraic Methods Program.},
	volume    = {81},
	number    = {4},
	pages     = {356--389},
	year      = {2012},
	xurl       = {https://doi.org/10.1016/j.jlap.2012.03.007},
	doi       = {10.1016/j.jlap.2012.03.007}
}



@article{DBLP:journals/jacm/EtessamiY15,
	author    = {Kousha Etessami and
	Mihalis Yannakakis},
	title     = {Recursive {M}arkov Decision Processes and Recursive Stochastic Games},
	journal   = {J. {ACM}},
	volume    = {62},
	number    = {2},
	pages     = {11:1--11:69},
	year      = {2015},
	xurl       = {https://doi.org/10.1145/2699431},
	doi       = {10.1145/2699431}
}



@inproceedings{DBLP:conf/tacas/HahnHHKKKPQRS19,
	author    = {Ernst Moritz Hahn and
	Arnd Hartmanns and
	Christian Hensel and
	Michaela Klauck and
	Joachim Klein and
	Jan Kret{\'{\i}}nsk{\'{y}} and
	David Parker and
	Tim Quatmann and
	Enno Ruijters and
	Marcel Steinmetz},
	title     = {The 2019 Comparison of Tools for the Analysis of Quantitative Formal
	Models - ({QC}omp 2019 Competition Report)},
	booktitle = {{TACAS} {(3)}},
	series    = {Lecture Notes in Computer Science},
	volume    = {11429},
	pages     = {69--92},
	publisher = {Springer},
	year      = {2019},
	xurl       = {https://doi.org/10.1007/978-3-030-17502-3\_5},
	doi       = {10.1007/978-3-030-17502-3\_5}
}



@article{DBLP:journals/sttt/JacobsBBEHKPRRS17,
	author    = {Swen Jacobs and
	Roderick Bloem and
	Romain Brenguier and
	R{\"{u}}diger Ehlers and
	Timotheus Hell and
	Robert K{\"{o}}nighofer and
	Guillermo A. P{\'{e}}rez and
	Jean{-}Fran{\c{c}}ois Raskin and
	Leonid Ryzhyk and
	Ocan Sankur and
	Martina Seidl and
	Leander Tentrup and
	Adam Walker},
	title     = {The first reactive synthesis competition {(SYNTCOMP} 2014)},
	journal   = {Int. J. Softw. Tools Technol. Transf.},
	volume    = {19},
	number    = {3},
	pages     = {367--390},
	year      = {2017},
	xurl       = {https://doi.org/10.1007/s10009-016-0416-3},
	doi       = {10.1007/s10009-016-0416-3}
}


@article{DBLP:journals/corr/abs-2206-00251,
	author    = {Swen Jacobs and
	Guillermo A. P{\'{e}}rez and
	Remco Abraham and
	V{\'{e}}ronique Bruy{\`{e}}re and
	Micha{\"{e}}l Cadilhac and
	Maximilien Colange and
	Charly Delfosse and
	Tom van Dijk and
	Alexandre Duret{-}Lutz and
	Peter Faymonville and
	Bernd Finkbeiner and
	Ayrat Khalimov and
	Felix Klein and
	Michael Luttenberger and
	Klara J. Meyer and
	Thibaud Michaud and
	Adrien Pommellet and
	Florian Renkin and
	Philipp Schlehuber{-}Caissier and
	Mouhammad Sakr and
	Salomon Sickert and
	Ga{\"{e}}tan Staquet and
	Clement Tamines and
	Leander Tentrup and
	Adam Walker},
	title     = {The Reactive Synthesis Competition {(SYNTCOMP):} 2018-2021},
	journal   = {CoRR},
	volume    = {abs/2206.00251},
	year      = {2022},
	xurl       = {https://doi.org/10.48550/arXiv.2206.00251},
	doi       = {10.48550/arXiv.2206.00251}
}




@inproceedings{DBLP:conf/icalp/Kwiatkowska16,
	author    = {Marta Z. Kwiatkowska},
	title     = {Model Checking and Strategy Synthesis for Stochastic Games: From Theory
	to Practice},
	booktitle = {{ICALP}},
	series    = {LIPIcs},
	volume    = {55},
	pages     = {4:1--4:18},
	publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
	year      = {2016},
	xurl       = {https://doi.org/10.4230/LIPIcs.ICALP.2016.4},
	doi       = {10.4230/LIPIcs.ICALP.2016.4}
}



@incollection{facets,
	author    = {Christel Baier and
	Holger Hermanns and
	Joost{-}Pieter Katoen},
	title     = {The 10{,}000 Facets of {MDP} Model Checking},
	booktitle = {Computing and Software Science},
	series    = {Lecture Notes in Computer Science},
	volume    = {10000},
	pages     = {420--451},
	publisher = {Springer},
	year      = {2019},
	xurl       = {https://doi.org/10.1007/978-3-319-91908-9\_21},
	doi       = {10.1007/978-3-319-91908-9\_21}
}



@incollection{DBLP:books/sp/16/Aaronson16,
	author    = {Scott Aaronson},
	editor    = {John Forbes Nash Jr. and
	Michael Th. Rassias},
	title     = {P =? {NP}},
	booktitle = {Open Problems in Mathematics},
	pages     = {1--122},
	publisher = {Springer},
	year      = {2016},
	xurl       = {https://doi.org/10.1007/978-3-319-32162-2\_1},
	doi       = {10.1007/978-3-319-32162-2\_1}
}



@misc{complexityZoo,
author = {Scott Aaronson and Chris Bourke},
title = {The complexity zoo},
url={http://cse.unl.edu/~cbourke/latex/ComplexityZoo.pdf},
note = {Accessed: 15.06.2022}
}

@article{DBLP:journals/fmsd/KattenbeltKNP10,
	author    = {Mark Kattenbelt and
	Marta Z. Kwiatkowska and
	Gethin Norman and
	David Parker},
	title     = {A game-based abstraction-refinement framework for {M}arkov decision
	processes},
	journal   = {Formal Methods Syst. Des.},
	volume    = {36},
	number    = {3},
	pages     = {246--280},
	year      = {2010},
	xurl       = {https://doi.org/10.1007/s10703-010-0097-6},
	doi       = {10.1007/s10703-010-0097-6}
}




@article{DBLP:journals/algorithmica/LaValle00,
	author    = {Steven M. LaValle},
	title     = {Robot Motion Planning: {A} Game-Theoretic Foundation},
	journal   = {Algorithmica},
	volume    = {26},
	number    = {3-4},
	pages     = {430--465},
	year      = {2000},
	xurl       = {https://doi.org/10.1007/s004539910020},
	doi       = {10.1007/s004539910020}
}




@article{bellomo2008mathematical,
	title={From the mathematical kinetic, and stochastic game theory to modelling mutations, onset, progression and immune competition of cancer cells},
	author={Bellomo, Nicola and Delitala, M},
	journal={Physics of Life Reviews},
	volume={5},
	number={4},
	pages={183--206},
	year={2008},
	publisher={Elsevier},
	xurl={https://doi.org/10.1016/j.plrev.2008.07.001},
	doi={10.1016/j.plrev.2008.07.001}
}

@article{amir2003stochastic,
	title={Stochastic games in economics and related fields: an overview},
	author={Amir, Rabah},
	journal={Stochastic games and applications},
	pages={455--470},
	year={2003},
	publisher={Springer},
	xurl={https://doi.org/10.1007/978-94-010-0189-2_30},
	doi={10.1007/978-94-010-0189-2\_30}
}

@book{handbook,
editor    = {Edmund M. Clarke and
Thomas A. Henzinger and
Helmut Veith and
Roderick Bloem},
title     = {Handbook of Model Checking},
publisher = {Springer},
year      = {2018},
xurl       = {https://doi.org/10.1007/978-3-319-10575-8},
doi       = {10.1007/978-3-319-10575-8},
isbn      = {978-3-319-10574-1}
}





@article{hurley2016credit,
	title={Credit scoring in the era of big data},
	author={Hurley, Mikella and Adebayo, Julius},
	journal={Yale JL \& Tech.},
	volume={18},
	pages={148},
	year={2016},
	publisher={HeinOnline},
	url={https://openyls.law.yale.edu/bitstream/handle/20.500.13051/7808/Hurley_Mikella.pdf?sequence=2&isAllowed=y}
}


@article{DBLP:journals/jbi/SadoughiBS20,
	author    = {Farahnaz Sadoughi and
	Ali Behmanesh and
	Nasrin Sayfouri},
	title     = {Internet of things in medicine: {A} systematic mapping study},
	journal   = {J. Biomed. Informatics},
	volume    = {103},
	pages     = {103383},
	year      = {2020},
	xurl       = {https://doi.org/10.1016/j.jbi.2020.103383},
	doi       = {10.1016/j.jbi.2020.103383}
}



@article{DBLP:journals/trob/AlthoffD14,
	author    = {Matthias Althoff and
	John M. Dolan},
	title     = {Online Verification of Automated Road Vehicles Using Reachability
	Analysis},
	journal   = {{IEEE} Trans. Robotics},
	volume    = {30},
	number    = {4},
	pages     = {903--918},
	year      = {2014},
	xurl       = {https://doi.org/10.1109/TRO.2014.2312453},
	doi       = {10.1109/TRO.2014.2312453}
}



@article{hassabis2017artificial,
	title={Artificial intelligence: chess match of the century},
	author={Hassabis, Demis},
	journal={Nature},
	volume={544},
	number={7651},
	pages={413--414},
	year={2017},
	publisher={Nature Publishing Group},
	url={https://www.nature.com/articles/544413a.pdf}
}



@inproceedings{DBLP:conf/itp/Breitner16,
	author    = {Joachim Breitner},
	title     = {Visual Theorem Proving with the Incredible Proof Machine},
	booktitle = {{ITP}},
	series    = {Lecture Notes in Computer Science},
	volume    = {9807},
	pages     = {123--139},
	publisher = {Springer},
	year      = {2016},
	xurl       = {https://doi.org/10.1007/978-3-319-43144-4\_8},
	doi       = {10.1007/978-3-319-43144-4\_8}
}



@inproceedings{DBLP:journals/corr/abs-1904-00618,
	author    = {J{\o}rgen Villadsen and
	Asta Halkj{\ae}r From and
	Anders Schlichtkrull},
	title     = {Natural Deduction Assistant ({NaDeA})},
	booktitle = {ThEdu@FLoC},
	series    = {{EPTCS}},
	volume    = {290},
	pages     = {14--29},
	year      = {2018},
	xurl       = {https://doi.org/10.4204/EPTCS.290.2},
	doi       = {10.4204/EPTCS.290.2}
}



@article{DBLP:journals/aiedu/LodderHJN21,
	author    = {Josje Lodder and
	Bastiaan Heeren and
	Johan Jeuring and
	Wendy Neijenhuis},
	title     = {Generation and Use of Hints and Feedback in a {H}ilbert-Style Axiomatic
	Proof Tutor},
	journal   = {Int. J. Artif. Intell. Educ.},
	volume    = {31},
	number    = {1},
	pages     = {99--133},
	year      = {2021},
	xurl       = {https://doi.org/10.1007/s40593-020-00222-2},
	doi       = {10.1007/s40593-020-00222-2}
}



@article{DBLP:journals/jcal/LodderHJ19,
	author    = {Josje Lodder and
	Bastiaan Heeren and
	Johan Jeuring},
	title     = {A comparison of elaborated and restricted feedback in {LogEx}, a tool
	for teaching rewriting logical formulae},
	journal   = {J. Comput. Assist. Learn.},
	volume    = {35},
	number    = {5},
	pages     = {620--632},
	year      = {2019},
	xurl       = {https://doi.org/10.1111/jcal.12365},
	doi       = {10.1111/jcal.12365}
}



@inproceedings{DBLP:conf/iticse/GeckLHMSSSTVZ19,
	author    = {Gaetano Geck and
	Artur Ljulin and
	Jonas Haldimann and
	Johannes May and
	Jonas Schmidt and
	Marko Schmellenkamp and
	Daniel Sonnabend and
	Felix Tschirbs and
	Fabian Vehlken and
	Thomas Zeume},
	title     = {Teaching Logic with Iltis: an Interactive, Web-Based System},
	booktitle = {ITiCSE},
	pages     = {307},
	publisher = {{ACM}},
	year      = {2019},
	xurl       = {https://doi.org/10.1145/3304221.3325571},
	doi       = {10.1145/3304221.3325571}
}



@inproceedings{DBLP:conf/iticse/GeckLPSVZ18,
	author    = {Gaetano Geck and
	Artur Ljulin and
	Sebastian Peter and
	Jonas Schmidt and
	Fabian Vehlken and
	Thomas Zeume},
	title     = {Introduction to Iltis: an interactive, web-based system for teaching
	logic},
	booktitle = {ITiCSE},
	pages     = {141--146},
	publisher = {{ACM}},
	year      = {2018},
	xurl       = {https://doi.org/10.1145/3197091.3197095},
	doi       = {10.1145/3197091.3197095}
}



@inproceedings{DBLP:conf/sat/HundeshagenLS21,
	author    = {Norbert Hundeshagen and
	Martin Lange and
	Georg Siebert},
	title     = {{DiMo} - Discrete Modelling Using Propositional Logic},
	booktitle = {{SAT}},
	series    = {Lecture Notes in Computer Science},
	volume    = {12831},
	pages     = {242--250},
	publisher = {Springer},
	year      = {2021},
	xurl       = {https://doi.org/10.1007/978-3-030-80223-3\_17},
	doi       = {10.1007/978-3-030-80223-3\_17}
}




@inproceedings{DBLP:journals/corr/abs-1803-01467,
	author    = {Arno Ehle and
	Norbert Hundeshagen and
	Martin Lange},
	title     = {The Sequent Calculus Trainer with Automated Reasoning - Helping Students
	to Find Proofs},
	booktitle = {ThEdu@CADE},
	series    = {{EPTCS}},
	volume    = {267},
	pages     = {19--37},
	year      = {2017},
	xurl       = {https://doi.org/10.4204/EPTCS.267.2},
	doi       = {10.4204/EPTCS.267.2}
}



@inproceedings{DBLP:conf/ijcai/CharrierGNS19,
	author    = {Tristan Charrier and
	S{\'{e}}bastien Gamblin and
	Alexandre Niveau and
	Fran{\c{c}}ois Schwarzentruber},
	title     = {Hintikka's World: Scalable Higher-order Knowledge},
	booktitle = {{IJCAI}},
	pages     = {6494--6496},
	publisher = {ijcai.org},
	year      = {2019},
	xurl       = {https://doi.org/10.24963/ijcai.2019/934},
	doi       = {10.24963/ijcai.2019/934}
}



@inproceedings{DBLP:conf/ijcai/Schwarzentruber18,
	author    = {Fran{\c{c}}ois Schwarzentruber},
	title     = {Hintikka's World: Agents with Higher-order Knowledge},
	booktitle = {{IJCAI}},
	pages     = {5859--5861},
	publisher = {ijcai.org},
	year      = {2018},
	xurl       = {https://doi.org/10.24963/ijcai.2018/862},
	doi       = {10.24963/ijcai.2018/862}
}



@inproceedings{DBLP:conf/apn/FreibergerH19,
	author    = {Felix Freiberger and
	Holger Hermanns},
	title     = {Concurrent Programming from pseu{C}o to {P}etri},
	booktitle = {Petri Nets},
	series    = {Lecture Notes in Computer Science},
	volume    = {11522},
	pages     = {279--297},
	publisher = {Springer},
	year      = {2019},
	xurl       = {https://doi.org/10.1007/978-3-030-21571-2\_16},
	doi       = {10.1007/978-3-030-21571-2\_16}
}




@article{kvretinsky2021index,
	title={Index appearance record with preorders},
	author={K{\v{r}}et{\'\i}nsk{\`y}, Jan and Meggendorfer, Tobias and Waldmann, Clara and Weininger, Maximilian},
	journal={Acta Informatica},
	pages={1--34},
	year={2021},
	publisher={Springer},
	doi={10.1007/s00236-021-00412-y},
	xurl={https://doi.org/10.1007/s00236-021-00412-y}
}

@inproceedings{DBLP:conf/cav/DAntoniHKRW20,
	author    = {Loris D'Antoni and
	Martin Helfrich and
	Jan Kret{\'{\i}}nsk{\'{y}} and
	Emanuel Ramneantu and
	Maximilian Weininger},
	title     = {Automata Tutor v3},
	booktitle = {{CAV} {(2)}},
	series    = {Lecture Notes in Computer Science},
	volume    = {12225},
	pages     = {3--14},
	publisher = {Springer},
	year      = {2020},
	xurl       = {https://doi.org/10.1007/978-3-030-53291-8\_1},
	doi       = {10.1007/978-3-030-53291-8\_1}
}



@inproceedings{DBLP:conf/hicss/RoyESDSW10,
	author    = {Sankardas Roy and
	Charles Ellis and
	Sajjan G. Shiva and
	Dipankar Dasgupta and
	Vivek Shandilya and
	Qishi Wu},
	title     = {A Survey of Game Theory as Applied to Network Security},
	booktitle = {{HICSS}},
	pages     = {1--10},
	publisher = {{IEEE} Computer Society},
	year      = {2010},
	xurl       = {https://doi.org/10.1109/HICSS.2010.35},
	doi       = {10.1109/HICSS.2010.35}
}




@article{DBLP:journals/comsur/AlshamraniMCH19,
	author    = {Adel Alshamrani and
	Sowmya Myneni and
	Ankur Chowdhary and
	Dijiang Huang},
	title     = {A Survey on Advanced Persistent Threats: Techniques, Solutions, Challenges,
	and Research Opportunities},
	journal   = {{IEEE} Commun. Surv. Tutorials},
	volume    = {21},
	number    = {2},
	pages     = {1851--1877},
	year      = {2019},
	xurl       = {https://doi.org/10.1109/COMST.2019.2891891},
	doi       = {10.1109/COMST.2019.2891891}
}





@inproceedings{DBLP:conf/cms/ChenDH14,
	author    = {Ping Chen and
	Lieven Desmet and
	Christophe Huygens},
	title     = {A Study on Advanced Persistent Threats},
	booktitle = {CMS},
	series    = {Lecture Notes in Computer Science},
	volume    = {8735},
	pages     = {63--72},
	publisher = {Springer},
	year      = {2014},
	xurl       = {https://doi.org/10.1007/978-3-662-44885-4\_5}
}




@article{DBLP:journals/tcs/AlfaroHK07,
	author    = {Luca de Alfaro and
	Thomas A. Henzinger and
	Orna Kupferman},
	title     = {Concurrent reachability games},
	journal   = {Theor. Comput. Sci.},
	volume    = {386},
	number    = {3},
	pages     = {188--217},
	year      = {2007},
	xurl       = {https://doi.org/10.1016/j.tcs.2007.07.008},
	doi       = {10.1016/j.tcs.2007.07.008}
}



@inproceedings{DBLP:conf/IEEEares/VirvilisG13,
	author    = {Nikos Virvilis and
	Dimitris Gritzalis},
	title     = {The Big Four - What We Did Wrong in Advanced Persistent Threat Detection?},
	booktitle = {{ARES}},
	pages     = {248--254},
	publisher = {{IEEE} Computer Society},
	year      = {2013},
	xurl       = {https://doi.org/10.1109/ARES.2013.32},
	doi       = {10.1109/ARES.2013.32}
}


@article{DBLP:journals/fgcs/ChenSYY18,
	author    = {Jiageng Chen and
	Chunhua Su and
	Kuo{-}Hui Yeh and
	Moti Yung},
	title     = {Special Issue on Advanced Persistent Threat},
	journal   = {Future Gener. Comput. Syst.},
	volume    = {79},
	pages     = {243--246},
	year      = {2018},
	xurl       = {https://doi.org/10.1016/j.future.2017.11.005},
	doi       = {10.1016/j.future.2017.11.005}
}



@article{DBLP:journals/compsec/LemayCMF18,
	author    = {Antoine Lemay and
	Joan Calvet and
	Fran{\c{c}}ois Menet and
	Jos{\'{e}} M. Fernandez},
	title     = {Survey of publicly available reports on advanced persistent threat
	actors},
	journal   = {Comput. Secur.},
	volume    = {72},
	pages     = {26--59},
	year      = {2018},
	xurl       = {https://doi.org/10.1016/j.cose.2017.08.005},
	doi       = {10.1016/j.cose.2017.08.005}
}




@article{ghafir2014advanced,
	title={Advanced persistent threat attack detection: an overview},
	author={Ghafir, Ibrahim and Prenosil, Vaclav and others},
	journal={Int J Adv Comput Netw Secur},
	volume={4},
	number={4},
	pages={5054},
	year={2014},
	url={https://www.researchgate.net/profile/Ibrahim_Ghafir/publication/305956804_Advanced_Persistent_Threat_Attack_Detection_An_Overview/links/57a7568008ae455e854698aa.pdf}
}

@inproceedings{DBLP:conf/ccs/JeeKKP13,
	author    = {Kangkook Jee and
	Vasileios P. Kemerlis and
	Angelos D. Keromytis and
	Georgios Portokalidis},
	title     = {Shadow{R}eplica: efficient parallelization of dynamic data flow tracking},
	booktitle = {{CCS}},
	pages     = {235--246},
	publisher = {{ACM}},
	year      = {2013},
	xurl       = {https://doi.org/10.1145/2508859.2516704},
	doi       = {10.1145/2508859.2516704}
}



@inproceedings{DBLP:conf/gamesec/SahabanduMABLP19,
	author    = {Dinuka Sahabandu and
	Shana Moothedath and
	Joey Allen and
	Linda Bushnell and
	Wenke Lee and
	Radha Poovendran},
	title     = {Stochastic Dynamic Information Flow Tracking Game with Reinforcement
	Learning},
	booktitle = {GameSec},
	series    = {Lecture Notes in Computer Science},
	volume    = {11836},
	pages     = {417--438},
	publisher = {Springer},
	year      = {2019},
	xurl       = {https://doi.org/10.1007/978-3-030-32430-8\_25},
	doi       = {10.1007/978-3-030-32430-8\_25}
}


@inproceedings{DBLP:conf/iccps/SahabanduAMBLP20,
	author    = {Dinuka Sahabandu and
	Joey Allen and
	Shana Moothedath and
	Linda Bushnell and
	Wenke Lee and
	Radha Poovendran},
	title     = {Quickest Detection of Advanced Persistent Threats: {A} Semi-{M}arkov
	Game Approach},
	booktitle = {{ICCPS}},
	pages     = {9--19},
	publisher = {{IEEE}},
	year      = {2020},
	xurl       = {https://doi.org/10.1109/ICCPS48487.2020.00009},
	doi       = {10.1109/ICCPS48487.2020.00009}
}



@inproceedings{DBLP:conf/cdc/SahabanduMACBLP19,
	author    = {Dinuka Sahabandu and
	Shana Moothedath and
	Joey Allen and
	Andrew Clark and
	Linda Bushnell and
	Wenke Lee and
	Radha Poovendran},
	title     = {Dynamic Information Flow Tracking Games for Simultaneous Detection
	of Multiple Attackers},
	booktitle = {{CDC}},
	pages     = {567--574},
	publisher = {{IEEE}},
	year      = {2019},
	xurl       = {https://doi.org/10.1109/CDC40024.2019.9029836},
	doi       = {10.1109/CDC40024.2019.9029836}
}




@inproceedings{DBLP:conf/cdc/ZhuCPB12,
	author    = {Quanyan Zhu and
	Andrew Clark and
	Radha Poovendran and
	Tamer Basar},
	title     = {Deceptive routing games},
	booktitle = {{CDC}},
	pages     = {2704--2711},
	publisher = {{IEEE}},
	year      = {2012},
	xurl       = {https://doi.org/10.1109/CDC.2012.6426515},
	doi       = {10.1109/CDC.2012.6426515}
}


@article{DBLP:journals/ijisec/LyeW05,
	author    = {Kong{-}wei Lye and
	Jeannette M. Wing},
	title     = {Game strategies in network security},
	journal   = {Int. J. Inf. Sec.},
	volume    = {4},
	number    = {1-2},
	pages     = {71--86},
	year      = {2005},
	xurl       = {https://doi.org/10.1007/s10207-004-0060-x},
	doi       = {10.1007/s10207-004-0060-x}
}






@article{DBLP:journals/tac/MoothedathSACBL20,
	author    = {Shana Moothedath and
	Dinuka Sahabandu and
	Joey Allen and
	Andrew Clark and
	Linda Bushnell and
	Wenke Lee and
	Radha Poovendran},
	title     = {A Game-Theoretic Approach for Dynamic Information Flow Tracking to
	Detect Multistage Advanced Persistent Threats},
	journal   = {{IEEE} Trans. Autom. Control.},
	volume    = {65},
	number    = {12},
	pages     = {5248--5263},
	year      = {2020},
	xurl       = {https://doi.org/10.1109/TAC.2020.2976040},
	doi       = {10.1109/TAC.2020.2976040}
}



@inproceedings{DBLP:conf/amcc/SahabanduMBPALC19,
	author    = {Dinuka Sahabandu and
	Shana Moothedath and
	Linda Bushnell and
	Radha Poovendran and
	Joey Allen and
	Wenke Lee and
	Andrew Clark},
	title     = {A Game Theoretic Approach for Dynamic Information Flow Tracking with
	Conditional Branching},
	booktitle = {{ACC}},
	pages     = {2289--2296},
	publisher = {{IEEE}},
	year      = {2019},
	xurl       = {https://doi.org/10.23919/ACC.2019.8814596},
	doi       = {10.23919/ACC.2019.8814596}
}



@inproceedings{DBLP:conf/gamesec/MoothedathSC0LP18,
	author    = {Shana Moothedath and
	Dinuka Sahabandu and
	Andrew Clark and
	Sangho Lee and
	Wenke Lee and
	Radha Poovendran},
	title     = {Multi-stage Dynamic Information Flow Tracking Game},
	booktitle = {GameSec},
	series    = {Lecture Notes in Computer Science},
	volume    = {11199},
	pages     = {80--101},
	publisher = {Springer},
	year      = {2018},
	xurl       = {https://doi.org/10.1007/978-3-030-01554-1\_5},
	doi       = {10.1007/978-3-030-01554-1\_5}
}



@inproceedings{DBLP:conf/cdc/SahabanduXC0LP18,
	author    = {Dinuka Sahabandu and
	Baicen Xiao and
	Andrew Clark and
	Sangho Lee and
	Wenke Lee and
	Radha Poovendran},
	title     = {{DIFT} Games: Dynamic Information Flow Tracking Games for Advanced
	Persistent Threats},
	booktitle = {{CDC}},
	pages     = {1136--1143},
	publisher = {{IEEE}},
	year      = {2018},
	xurl       = {https://doi.org/10.1109/CDC.2018.8619416},
	doi       = {10.1109/CDC.2018.8619416}
}




@article{DBLP:journals/sigmetrics/HuangZ18,
	author    = {Linan Huang and
	Quanyan Zhu},
	title     = {Adaptive Strategic Cyber Defense for Advanced Persistent Threats in
	Critical Infrastructure Networks},
	journal   = {{SIGMETRICS} Perform. Evaluation Rev.},
	volume    = {46},
	number    = {2},
	pages     = {52--56},
	year      = {2018},
	xurl       = {https://doi.org/10.1145/3305218.3305239},
	doi       = {10.1145/3305218.3305239}
}



@inproceedings{DBLP:conf/cdc/MisraMHABLP19,
	author    = {Shruti Misra and
	Shana Moothedath and
	Hossein Hosseini and
	Joey Allen and
	Linda Bushnell and
	Wenke Lee and
	Radha Poovendran},
	title     = {Learning Equilibria in Stochastic Information Flow Tracking Games
	with Partial Knowledge},
	booktitle = {{CDC}},
	pages     = {4053--4060},
	publisher = {{IEEE}},
	year      = {2019},
	xurl       = {https://doi.org/10.1109/CDC40024.2019.9029404},
	doi       = {10.1109/CDC40024.2019.9029404}
}



@inproceedings{DBLP:conf/atva/Meggendorfer22,
  author       = {Tobias Meggendorfer},
  editor       = {Ahmed Bouajjani and
                  Luk{\'{a}}s Hol{\'{\i}}k and
                  Zhilin Wu},
  title        = {{PET} - {A} Partial Exploration Tool for Probabilistic Verification},
  booktitle    = {Automated Technology for Verification and Analysis - 20th International
                  Symposium, {ATVA} 2022, Virtual Event, October 25-28, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13505},
  pages        = {320--326},
  publisher    = {Springer},
  year         = {2022},
  xurl          = {https://doi.org/10.1007/978-3-031-19992-9\_20},
  doi          = {10.1007/978-3-031-19992-9\_20},
  timestamp    = {Sun, 13 Nov 2022 17:52:13 +0100},
  biburl       = {https://dblp.org/rec/conf/atva/Meggendorfer22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}



@inproceedings{DBLP:conf/ccs/JiLDWFKOL17,
	author    = {Yang Ji and
	Sangho Lee and
	Evan Downing and
	Weiren Wang and
	Mattia Fazzini and
	Taesoo Kim and
	Alessandro Orso and
	Wenke Lee},
	title     = {{RAIN:} Refinable Attack Investigation with On-demand Inter-Process
	Information Flow Tracking},
	booktitle = {{CCS}},
	pages     = {377--390},
	publisher = {{ACM}},
	year      = {2017},
	xurl       = {https://doi.org/10.1145/3133956.3134045},
	doi       = {10.1145/3133956.3134045}
}


@inproceedings{DBLP:conf/asplos/SuhLZD04,
	author    = {G. Edward Suh and
	Jae W. Lee and
	David Zhang and
	Srinivas Devadas},
	title     = {Secure program execution via dynamic information flow tracking},
	booktitle = {{ASPLOS}},
	pages     = {85--96},
	publisher = {{ACM}},
	year      = {2004},
	xurl       = {https://doi.org/10.1145/1024393.1024404},
	doi       = {10.1145/1024393.1024404}
}



@book{cole2012advanced,
	title={Advanced persistent threat: understanding the danger and how to protect your organization},
	author={Cole, Eric},
	year={2012},
	publisher={Newnes},
	url={https://books.google.de/books?id=Y-CQmN5sEg8C&pg=PR7&lpg=PR1&ots=Hk_qVVjEWx&focus=viewport&dq=cole+advanced+persistent+threat&lr=&hl=de}
}

@article{DBLP:journals/corr/ShuTCY17,
	author    = {Xiaokui Shu and
	Ke Tian and
	Andrew Ciambrone and
	Danfeng Yao},
	title     = {Breaking the Target: An Analysis of Target Data Breach and Lessons
	Learned},
	journal   = {CoRR},
	volume    = {abs/1701.04940},
	year      = {2017},
	url       = {http://arxiv.org/abs/1701.04940}
}




@article{DBLP:journals/sttt/LarsenPY97,
	author    = {Kim Guldstrand Larsen and
	Paul Pettersson and
	Wang Yi},
	title     = {{UPPAAL} in a Nutshell},
	journal   = {Int. J. Softw. Tools Technol. Transf.},
	volume    = {1},
	number    = {1-2},
	pages     = {134--152},
	year      = {1997},
	xurl       = {https://doi.org/10.1007/s100090050010},
	doi       = {10.1007/s100090050010}
}



@article{DBLP:journals/bstj/Shannon48a,
	author    = {Claude E. Shannon},
	title     = {A mathematical theory of communication},
	journal   = {Bell Syst. Tech. J.},
	volume    = {27},
	number    = {4},
	pages     = {623--656},
	year      = {1948},
	xurl       = {https://doi.org/10.1002/j.1538-7305.1948.tb00917.x},
	doi       = {10.1002/j.1538-7305.1948.tb00917.x}
}



@inproceedings{DBLP:conf/aaai/MurthyKSB93,
	author    = {Sreerama K. Murthy and
	Simon Kasif and
	Steven Salzberg and
	Richard Beigel},
	title     = {{OC1:} {A} Randomized Induction of Oblique Decision Trees},
	booktitle = {{AAAI}},
	pages     = {322--327},
	publisher = {{AAAI} Press / The {MIT} Press},
	year      = {1993},
	url       = {http://www.aaai.org/Library/AAAI/1993/aaai93-049.php}
}


@inproceedings{DBLP:conf/tacas/DavidJLMT15,
	author    = {Alexandre David and
	Peter Gj{\o}l Jensen and
	Kim Guldstrand Larsen and
	Marius Mikucionis and
	Jakob Haahr Taankvist},
	title     = {{UPPAAL STRATEGO}},
	booktitle = {{TACAS}},
	series    = {Lecture Notes in Computer Science},
	volume    = {9035},
	pages     = {206--211},
	publisher = {Springer},
	year      = {2015},
	xurl       = {https://doi.org/10.1007/978-3-662-46681-0\_16},
	doi       = {10.1007/978-3-662-46681-0\_16}
}




@inproceedings{DBLP:conf/birthday/LarsenMT15,
	author    = {Kim Guldstrand Larsen and
	Marius Mikucionis and
	Jakob Haahr Taankvist},
	title     = {Safe and Optimal Adaptive Cruise Control},
	booktitle = {Correct System Design},
	series    = {Lecture Notes in Computer Science},
	volume    = {9360},
	pages     = {260--277},
	publisher = {Springer},
	year      = {2015},
	xurl       = {https://doi.org/10.1007/978-3-319-23506-6\_17},
	doi       = {10.1007/978-3-319-23506-6\_17}
}



@article{DBLP:journals/corr/DragerFK0U15,
	author    = {Klaus Dr{\"{a}}ger and
	Vojtech Forejt and
	Marta Z. Kwiatkowska and
	David Parker and
	Mateusz Ujma},
	title     = {Permissive Controller Synthesis for Probabilistic Systems},
	journal   = {Log. Methods Comput. Sci.},
	volume    = {11},
	number    = {2},
	year      = {2015},
	xurl       = {https://doi.org/10.2168/LMCS-11(2:16)2015},
	doi       = {10.2168/LMCS-11(2:16)2015}
}



@inproceedings{DBLP:conf/atva/BouyerMOU11,
	author    = {Patricia Bouyer and
	Nicolas Markey and
	J{\"{o}}rg Olschewski and
	Michael Ummels},
	title     = {Measuring Permissiveness in Parity Games: Mean-Payoff Parity Games
	Revisited},
	booktitle = {{ATVA}},
	series    = {Lecture Notes in Computer Science},
	volume    = {6996},
	pages     = {135--149},
	publisher = {Springer},
	year      = {2011},
	xurl       = {https://doi.org/10.1007/978-3-642-24372-1\_11},
	doi       = {10.1007/978-3-642-24372-1\_11}
}



@article{DBLP:journals/ita/BernetJW02,
	author    = {Julien Bernet and
	David Janin and
	Igor Walukiewicz},
	title     = {Permissive strategies: from parity games to safety games},
	journal   = {{RAIRO} Theor. Informatics Appl.},
	volume    = {36},
	number    = {3},
	pages     = {261--275},
	year      = {2002},
	xurl       = {https://doi.org/10.1051/ita:2002013},
	doi       = {10.1051/ita:2002013}
}



@inproceedings{tsoumakas2008effective,
	title={Effective and efficient multilabel classification in domains with large number of labels},
	author={Tsoumakas, Grigorios and Katakis, Ioannis and Vlahavas, Ioannis},
	booktitle={Proc. ECML/PKDD 2008 Workshop on Mining Multidimensional Data (MMD’08)},
	volume={21},
	pages={53--59},
	year={2008},
	url={http://www.ecmlpkdd2008.org/files/pdf/workshops/mmd/4.pdf}
}

@inproceedings{read2008pruned,
	title={A pruned problem transformation method for multi-label classification},
	author={Read, Jesse},
	booktitle={NZCSRS 2008},
	volume={143150},
	pages={41},
	year={2008},
	url={https://users.ics.aalto.fi/jesse/papers/NZCSRCS08.pdf}
}

@article{DBLP:journals/tsmc/BarrosBCF12,
	author    = {Rodrigo Coelho Barros and
	M{\'{a}}rcio Porto Basgalupp and
	Andr{\'{e}} {Carlos Ponce de Leon Ferreira de Carvalho} and
	Alex Alves Freitas},
	title     = {A Survey of Evolutionary Algorithms for Decision-Tree Induction},
	journal   = {{IEEE} Trans. Syst. Man Cybern. Part {C}},
	volume    = {42},
	number    = {3},
	pages     = {291--312},
	year      = {2012},
	xurl       = {https://doi.org/10.1109/TSMCC.2011.2157494},
	doi       = {10.1109/TSMCC.2011.2157494}
}



@inproceedings{DBLP:conf/ismis/ElomaaM03,
	author    = {Tapio Elomaa and
	Tuomo Malinen},
	title     = {On Lookahead Heuristics in Decision Tree Learning},
	booktitle = {{ISMIS}},
	series    = {Lecture Notes in Computer Science},
	volume    = {2871},
	pages     = {445--453},
	publisher = {Springer},
	year      = {2003},
	xurl       = {https://doi.org/10.1007/978-3-540-39592-8\_63},
	doi       = {10.1007/978-3-540-39592-8\_63}
}



@inproceedings{KushJonis,
  author       = {Jonis Kiesbye and
                  Kush Grover and
                  Pranav Ashok and
                  Jan Kret{\'{\i}}nsk{\'{y}}},
  title        = {Planning via model checking with decision-tree controllers},
  booktitle    = {{ICRA}},
  @pages        = {4347--4354},
  @publisher    = {{IEEE}},
  year         = {2022},
  @xurl          = {https://doi.org/10.1109/ICRA46639.2022.9811980},
  @doi          = {10.1109/ICRA46639.2022.9811980},
  @timestamp    = {Tue, 07 May 2024 20:02:41 +0200},
  @biburl       = {https://dblp.org/rec/conf/icra/KiesbyeGAK22.bib},
  @bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2011-07553,
	author    = {Zihan Ding and
	Pablo Hernandez{-}Leal and
	Gavin Weiguang Ding and
	Changjian Li and
	Ruitong Huang},
	title     = {{CDT:} Cascading Decision Trees for Explainable Reinforcement Learning},
	journal   = {CoRR},
	volume    = {abs/2011.07553},
	year      = {2020},
	url       = {https://arxiv.org/abs/2011.07553}
}




@article{DBLP:journals/corr/abs-2010-06631,
	author    = {Jialu Zhang and
	Mark Santolucito and
	Ruzica Piskac},
	title     = {Succinct Explanations With Cascading Decision Trees},
	journal   = {CoRR},
	volume    = {abs/2010.06631},
	year      = {2020},
	url       = {https://arxiv.org/abs/2010.06631},
	eprinttype = {arXiv},
	eprint    = {2010.06631}
}



@article{che2011decision,
	title={Decision tree and ensemble learning algorithms with their applications in bioinformatics},
	author={Che, Dongsheng and Liu, Qi and Rasheed, Khaled and Tao, Xiuping},
	journal={Software tools and algorithms for biological systems},
	pages={191--199},
	year={2011},
	publisher={Springer},
	url={https://link.springer.com/chapter/10.1007/978-1-4419-7046-6_19}
}


@article{stiglic2012comprehensive,
	title={Comprehensive decision tree models in bioinformatics},
	author={Stiglic, Gregor and Kocbek, Simon and Pernek, Igor and Kokol, Peter},
	journal={PloS one},
	volume={7},
	number={3},
	pages={e33812},
	year={2012},
	publisher={Public Library of Science San Francisco, USA},
	url={https://journals.plos.org/plosone/article?id=10.1371/journal.pone.0033812}
}


@book{leeSeshiaCPS,
	title={Introduction to Embedded Systems, A Cyber-Physical Systems Approach, Second Edition},
	author={Edward A. Lee and Sanjit A. Seshia},
	year={2017},
	publisher={MIT press},
	ISBN={978-0-262-53381-2},
	url={https://ptolemy.berkeley.edu/books/leeseshia/}
}

@book{alur2015principles,
	title={Principles of cyber-physical systems},
	author={Alur, Rajeev},
	year={2015},
	publisher={MIT press},
	url={https://mitpress.mit.edu/books/principles-cyber-physical-systems}
}
@incollection{DBLP:books/sp/necs2005/Raskin05,
	author    = {Jean{-}Fran{\c{c}}ois Raskin},
	title     = {An Introduction to Hybrid Automata},
	booktitle = {Handbook of Networked and Embedded Control Systems},
	pages     = {491--518},
	publisher = {Birkh{\"{a}}user},
	year      = {2005},
	xurl={https://doi.org/10.1007/0-8176-4404-0\_21},
	doi={10.1007/0-8176-4404-0\_21}
}




@inproceedings{DBLP:conf/hybrid/HenzingerR00,
	author    = {Thomas A. Henzinger and
	Jean{-}Fran{\c{c}}ois Raskin},
	title     = {Robust Undecidability of Timed and Hybrid Systems},
	booktitle = {{HSCC}},
	series    = {Lecture Notes in Computer Science},
	volume    = {1790},
	pages     = {145--159},
	publisher = {Springer},
	year      = {2000},
	xurl       = {https://doi.org/10.1007/3-540-46430-1\_15},
	doi       = {10.1007/3-540-46430-1\_15}
}




@book{neyman2003stochastic,
	title={Stochastic games and applications},
	author={Neyman, Abraham and Sorin, Sylvain},
	volume={570},
	year={2003},
	publisher={Springer Science \& Business Media},
	xurl={https://doi.org/10.1007/978-94-010-0189-2},
	doi={10.1007/978-94-010-0189-2}
}

@article{DBLP:journals/complexity/MahboobaTSS21,
	author    = {Basim Mahbooba and
	Mohan Timilsina and
	Radhya Sahal and
	Martin Serrano},
	title     = {Explainable Artificial Intelligence {(XAI)} to Enhance Trust Management
	in Intrusion Detection Systems Using Decision Tree Model},
	journal   = {Complex.},
	volume    = {2021},
	pages     = {6634811:1--6634811:11},
	year      = {2021},
	xurl       = {https://doi.org/10.1155/2021/6634811},
	doi       = {10.1155/2021/6634811}
}



@article{podgorelec2002decision,
	title={Decision trees: an overview and their use in medicine},
	author={Podgorelec, Vili and Kokol, Peter and Stiglic, Bruno and Rozman, Ivan},
	journal={Journal of medical systems},
	volume={26},
	number={5},
	pages={445--463},
	year={2002},
	publisher={Springer},
	url={https://link.springer.com/article/10.1023/A:1016409317640}
}

@inproceedings{DBLP:conf/esann/BibalF16,
	author    = {Adrien Bibal and
	Beno{\^{\i}}t Fr{\'{e}}nay},
	title     = {Interpretability of machine learning models and representations: an
	introduction},
	booktitle = {{ESANN}},
	year      = {2016},
	url       = {https://www.semanticscholar.org/paper/Interpretability-of-machine-learning-models-and-an-Bibal-Fr%C3%A9nay/464656fc6431f1db8b2e0b0b3093a5df1cb7958e}
}


@article{DBLP:journals/eswa/PiltaverLGM16,
	author    = {Rok Piltaver and
	Mitja Lustrek and
	Matjaz Gams and
	Sanda Martincic{-}Ipsic},
	title     = {What makes classification trees comprehensible?},
	journal   = {Expert Syst. Appl.},
	volume    = {62},
	pages     = {333--346},
	year      = {2016},
	xurl       = {https://doi.org/10.1016/j.eswa.2016.06.009},
	doi       = {10.1016/j.eswa.2016.06.009}
}




@article{DBLP:journals/natmi/Rudin19,
	author    = {Cynthia Rudin},
	title     = {Stop explaining black box machine learning models for high stakes
	decisions and use interpretable models instead},
	journal   = {Nat. Mach. Intell.},
	volume    = {1},
	number    = {5},
	pages     = {206--215},
	year      = {2019},
	xurl       = {https://doi.org/10.1038/s42256-019-0048-x},
	doi       = {10.1038/s42256-019-0048-x}
}


@article{DBLP:journals/dss/HuysmansDMVB11,
	author    = {Johan Huysmans and
	Karel Dejaeger and
	Christophe Mues and
	Jan Vanthienen and
	Bart Baesens},
	title     = {An empirical evaluation of the comprehensibility of decision table,
	tree and rule based predictive models},
	journal   = {Decis. Support Syst.},
	volume    = {51},
	number    = {1},
	pages     = {141--154},
	year      = {2011},
	xurl       = {https://doi.org/10.1016/j.dss.2010.12.003},
	doi       = {10.1016/j.dss.2010.12.003}
}




@inproceedings{DBLP:conf/fossacs/BaierFPZ22,
	author    = {Christel Baier and
	Florian Funke and
	Jakob Piribauer and
	Robin Ziemek},
	title     = {On probability-raising causality in {M}arkov decision processes},
	booktitle = {FoSSaCS},
	series    = {Lecture Notes in Computer Science},
	volume    = {13242},
	pages     = {40--60},
	publisher = {Springer},
	year      = {2022},
	xurl       = {https://doi.org/10.1007/978-3-030-99253-8\_3},
	doi       = {10.1007/978-3-030-99253-8\_3}
}


@inproceedings{DBLP:conf/isola/BaierH20,
	author    = {Christel Baier and
	Holger Hermanns},
	title     = {From Verification to Explanation (Track Introduction)},
	booktitle = {ISoLA {(4)}},
	series    = {Lecture Notes in Computer Science},
	volume    = {12479},
	pages     = {1--7},
	publisher = {Springer},
	year      = {2020},
	xurl       = {https://doi.org/10.1007/978-3-030-83723-5\_1},
	doi       = {10.1007/978-3-030-83723-5\_1}
}



@article{meske2022explainable,
	title={Explainable artificial intelligence: objectives, stakeholders, and future research opportunities},
	author={Meske, Christian and Bunde, Enrico and Schneider, Johannes and Gersch, Martin},
	journal={Information Systems Management},
	volume={39},
	number={1},
	pages={53--63},
	year={2022},
	publisher={Taylor \& Francis},
	url={https://www.tandfonline.com/doi/full/10.1080/10580530.2020.1849465}
}


@article{DBLP:journals/scirobotics/GunningSCMSY19,
	author    = {David Gunning and
	Mark Stefik and
	Jaesik Choi and
	Timothy Miller and
	Simone Stumpf and
	Guang{-}Zhong Yang},
	title     = {{XAI} - Explainable artificial intelligence},
	journal   = {Sci. Robotics},
	volume    = {4},
	number    = {37},
	year      = {2019},
	xurl       = {https://doi.org/10.1126/scirobotics.aay7120},
	doi       = {10.1126/scirobotics.aay7120}
}




@article{DBLP:journals/ai/MillerHAH22,
	author    = {Tim Miller and
	Robert R. Hoffman and
	Ofra Amir and
	Andreas Holzinger},
	title     = {Special issue on Explainable Artificial Intelligence {(XAI)}},
	journal   = {Artif. Intell.},
	volume    = {307},
	pages     = {103705},
	year      = {2022},
	xurl       = {https://doi.org/10.1016/j.artint.2022.103705},
	doi       = {10.1016/j.artint.2022.103705}
}



@article{DBLP:journals/inffus/ArrietaRSBTBGGM20,
	author    = {Alejandro Barredo Arrieta and
	Natalia D{\'{\i}}az Rodr{\'{\i}}guez and
	Javier Del Ser and
	Adrien Bennetot and
	Siham Tabik and
	Alberto Barbado and
	Salvador Garc{\'{\i}}a and
	Sergio Gil{-}Lopez and
	Daniel Molina and
	Richard Benjamins and
	Raja Chatila and
	Francisco Herrera},
	title     = {Explainable Artificial Intelligence {(XAI):} Concepts, taxonomies,
	opportunities and challenges toward responsible {AI}},
	journal   = {Inf. Fusion},
	volume    = {58},
	pages     = {82--115},
	year      = {2020},
	xurl       = {https://doi.org/10.1016/j.inffus.2019.12.012},
	doi       = {10.1016/j.inffus.2019.12.012}
}




@inproceedings{DBLP:conf/hicss/GerlingsSC21,
	author    = {Julie Gerlings and
	Arisa Shollo and
	Ioanna D. Constantiou},
	title     = {Reviewing the Need for Explainable Artificial Intelligence (x{AI})},
	booktitle = {{HICSS}},
	pages     = {1--10},
	publisher = {ScholarSpace},
	year      = {2021},
	url       = {https://hdl.handle.net/10125/70768}
}


@article{DBLP:journals/tnn/TjoaG21,
	author    = {Erico Tjoa and
	Cuntai Guan},
	title     = {A Survey on Explainable Artificial Intelligence {(XAI)}: Toward Medical
	{XAI}},
	journal   = {{IEEE} Trans. Neural Networks Learn. Syst.},
	volume    = {32},
	number    = {11},
	pages     = {4793--4813},
	year      = {2021},
	xurl       = {https://doi.org/10.1109/TNNLS.2020.3027314},
	doi       = {10.1109/TNNLS.2020.3027314}
}



@article{DBLP:journals/tc/BolligW96,
	author    = {Beate Bollig and
	Ingo Wegener},
	title     = {Improving the Variable Ordering of {OBDD}s Is {NP}-Complete},
	journal   = {{IEEE} Trans. Computers},
	volume    = {45},
	number    = {9},
	pages     = {993--1002},
	year      = {1996},
	xurl       = {https://doi.org/10.1109/12.537122},
	doi       = {10.1109/12.537122}
}




@article{DBLP:journals/ipl/HyafilR76,
	author    = {Laurent Hyafil and
	Ronald L. Rivest},
	title     = {Constructing Optimal Binary Decision Trees is {NP}-Complete},
	journal   = {Inf. Process. Lett.},
	volume    = {5},
	number    = {1},
	pages     = {15--17},
	year      = {1976},
	xurl       = {https://doi.org/10.1016/0020-0190(76)90095-8},
	doi       = {10.1016/0020-0190(76)90095-8}
}



@inproceedings{DBLP:conf/cav/MazoDT10,
	author    = {Manuel Mazo Jr. and
	Anna Davitian and
	Paulo Tabuada},
	title     = {{PESSOA:} {A} Tool for Embedded Controller Synthesis},
	booktitle = {{CAV}},
	series    = {Lecture Notes in Computer Science},
	volume    = {6174},
	pages     = {566--569},
	publisher = {Springer},
	year      = {2010},
	xurl       = {https://doi.org/10.1007/978-3-642-14295-6\_49},
	doi       = {10.1007/978-3-642-14295-6\_49}
}




@article{DBLP:journals/tc/Bryant86,
	author    = {Randal E. Bryant},
	title     = {Graph-Based Algorithms for Boolean Function Manipulation},
	journal   = {{IEEE} Trans. Computers},
	volume    = {35},
	number    = {8},
	pages     = {677--691},
	year      = {1986},
	xurl       = {https://doi.org/10.1109/TC.1986.1676819},
	doi       = {10.1109/TC.1986.1676819}
}



@inproceedings{DBLP:conf/aaai/CimattiRT98,
	author    = {Alessandro Cimatti and
	Marco Roveri and
	Paolo Traverso},
	title     = {Automatic {OBDD}-Based Generation of Universal Plans in Non-Deterministic
	Domains},
	booktitle = {{AAAI/IAAI}},
	pages     = {875--881},
	publisher = {{AAAI} Press / The {MIT} Press},
	year      = {1998},
	url       = {http://www.aaai.org/Library/AAAI/1998/aaai98-124.php}
}


@inproceedings{DBLP:conf/icinco/PennaLMI08,
	author    = {Giuseppe Della Penna and
	Nadia Lauri and
	Daniele Magazzeni and
	Benedetto Intrigila},
	title     = {{OBDD} Compression of Numerical Controllers},
	booktitle = {{ICINCO-ICSO}},
	pages     = {43--50},
	publisher = {{INSTICC} Press},
	year      = {2008}
}


@incollection{penna2009fast,
	title={Fast and compact encoding of numerical controllers using {OBDD}s},
	author={Penna, Giuseppe Della and Intrigila, Benedetto and Lauri, Nadia and Magazzeni, Daniele},
	booktitle={Informatics in Control, Automation and Robotics},
	pages={75--87},
	year={2009},
	publisher={Springer},
	url={https://link.springer.com/chapter/10.1007/978-3-642-00271-7_5}
}



@article{DBLP:journals/fmsd/BaharFGHMPS97,
	author    = {R. Iris Bahar and
	Erica A. Frohm and
	Charles M. Gaona and
	Gary D. Hachtel and
	Enrico Macii and
	Abelardo Pardo and
	Fabio Somenzi},
	title     = {Algebraic Decision Diagrams and Their Applications},
	journal   = {Formal Methods Syst. Des.},
	volume    = {10},
	number    = {2/3},
	pages     = {171--206},
	year      = {1997},
	xurl       = {https://doi.org/10.1023/A:1008699807402},
	doi       = {10.1023/A:1008699807402}
}



@article{DBLP:journals/fmsd/FujitaMY97,
	author    = {Masahiro Fujita and
	Patrick C. McGeer and
	Jerry Chih{-}Yuan Yang},
	title     = {Multi-Terminal Binary Decision Diagrams: An Efficient Data Structure
	for Matrix Representation},
	journal   = {Formal Methods Syst. Des.},
	volume    = {10},
	number    = {2/3},
	pages     = {149--169},
	year      = {1997},
	xurl       = {https://doi.org/10.1023/A:1008647823331},
	doi       = {10.1023/A:1008647823331}
}



@inproceedings{DBLP:conf/nips/St-AubinHB00,
	author    = {Robert St{-}Aubin and
	Jesse Hoey and
	Craig Boutilier},
	title     = {{APRICODD}: {A}pproximate Policy Construction Using Decision Diagrams},
	booktitle = {{NIPS}},
	pages     = {1089--1095},
	publisher = {{MIT} Press},
	year      = {2000},
	url       = {https://proceedings.neurips.cc/paper/2000/hash/201d7288b4c18a679e48b31c72c30ded-Abstract.html}
}





@inproceedings{DBLP:conf/tacas/AlfaroKNPS00,
	author    = {Luca de Alfaro and
	Marta Z. Kwiatkowska and
	Gethin Norman and
	David Parker and
	Roberto Segala},
	title     = {Symbolic Model Checking of Probabilistic Processes Using {MTBDD}s and
	the {K}ronecker Representation},
	booktitle = {{TACAS}},
	@series    = {Lecture Notes in Computer Science},
	@volume    = {1785},
	@pages     = {395--410},
	@publisher = {Springer},
	year      = {2000},
	@xurl       = {https://doi.org/10.1007/3-540-46419-0\_27},
	@doi       = {10.1007/3-540-46419-0\_27}
}



@article{DBLP:journals/sttt/KwiatkowskaNP04,
	author    = {Marta Z. Kwiatkowska and
	Gethin Norman and
	David Parker},
	title     = {Probabilistic symbolic model checking with {PRISM:} a hybrid approach},
	journal   = {Int. J. Softw. Tools Technol. Transf.},
	volume    = {6},
	number    = {2},
	pages     = {128--142},
	year      = {2004},
	xurl       = {https://doi.org/10.1007/s10009-004-0140-2},
	doi       = {10.1007/s10009-004-0140-2}
}


@inproceedings{DBLP:conf/cav/ClarkeMCH96,
	author    = {Edmund M. Clarke and
	Kenneth L. McMillan and
	S{\'{e}}rgio Vale Aguiar Campos and
	Vasiliki Hartonas{-}Garmhausen},
	title     = {Symbolic Model Checking},
	booktitle = {{CAV}},
	series    = {Lecture Notes in Computer Science},
	volume    = {1102},
	pages     = {419--427},
	publisher = {Springer},
	year      = {1996},
	xurl       = {https://doi.org/10.1007/3-540-61474-5\_93},
	doi       = {10.1007/3-540-61474-5\_93}
}





@article{DBLP:journals/iandc/BurchCMDH92,
	author    = {Jerry R. Burch and
	Edmund M. Clarke and
	Kenneth L. McMillan and
	David L. Dill and
	L. J. Hwang},
	title     = {Symbolic Model Checking: 10{\^{}}20 States and Beyond},
	journal   = {Inf. Comput.},
	volume    = {98},
	number    = {2},
	pages     = {142--170},
	year      = {1992},
	xurl       = {https://doi.org/10.1016/0890-5401(92)90017-A},
	doi       = {10.1016/0890-5401(92)90017-A}
}






@inproceedings{DBLP:conf/fmcad/AlamdariAHL20,
	author    = {Parand Alizadeh Alamdari and
	Guy Avni and
	Thomas A. Henzinger and
	Anna Lukina},
	title     = {Formal Methods with a Touch of Magic},
	booktitle = {{FMCAD}},
	pages     = {138--147},
	publisher = {{IEEE}},
	year      = {2020},
	xurl       = {https://doi.org/10.34727/2020/isbn.978-3-85448-042-6\_21},
	doi       = {10.34727/2020/isbn.978-3-85448-042-6\_21}
}



@inproceedings{DBLP:conf/aiia/FrosstH17,
	author    = {Nicholas Frosst and
	Geoffrey E. Hinton},
	title     = {Distilling a Neural Network Into a Soft Decision Tree},
	booktitle = {CEx@AI*IA},
	series    = {{CEUR} Workshop Proceedings},
	volume    = {2071},
	publisher = {CEUR-WS.org},
	year      = {2017},
	url       = {http://ceur-ws.org/Vol-2071/CExAIIA\_2017\_paper\_3.pdf}
}



@inproceedings{DBLP:conf/formats/Bacci020,
	author    = {Edoardo Bacci and
	David Parker},
	title     = {Probabilistic Guarantees for Safe Deep Reinforcement Learning},
	booktitle = {{FORMATS}},
	series    = {Lecture Notes in Computer Science},
	volume    = {12288},
	pages     = {231--248},
	publisher = {Springer},
	year      = {2020},
	xurl       = {https://doi.org/10.1007/978-3-030-57628-8\_14},
	doi       = {10.1007/978-3-030-57628-8\_14}
}



@inproceedings{DBLP:conf/nfm/BacciP22,
	author    = {Edoardo Bacci and
	David Parker},
	title     = {Verified Probabilistic Policies for Deep Reinforcement Learning},
	booktitle = {{NFM}},
	series    = {Lecture Notes in Computer Science},
	volume    = {13260},
	pages     = {193--212},
	publisher = {Springer},
	year      = {2022},
	xurl       = {https://doi.org/10.1007/978-3-031-06773-0\_10},
	doi       = {10.1007/978-3-031-06773-0\_10}
}


@inproceedings{DBLP:conf/spin/StoelingaKNBH21,
	author    = {Mari{\"{e}}lle Stoelinga and
	Christina Kolb and
	Stefano M. Nicoletti and
	Carlos E. Budde and
	Ernst Moritz Hahn},
	title     = {The Marriage Between Safety and Cybersecurity: Still Practicing},
	booktitle = {{SPIN}},
	series    = {Lecture Notes in Computer Science},
	volume    = {12864},
	pages     = {3--21},
	publisher = {Springer},
	year      = {2021},
	xurl       = {https://doi.org/10.1007/978-3-030-84629-9\_1},
	doi       = {10.1007/978-3-030-84629-9\_1}
}



@inproceedings{DBLP:conf/cav/MeyerSL18,
	author    = {Philipp J. Meyer and
	Salomon Sickert and
	Michael Luttenberger},
	title     = {Strix: Explicit Reactive Synthesis Strikes Back!},
	booktitle = {{CAV} {(1)}},
	series    = {Lecture Notes in Computer Science},
	volume    = {10981},
	pages     = {578--586},
	publisher = {Springer},
	year      = {2018},
	xurl       = {https://doi.org/10.1007/978-3-319-96145-3\_31},
	doi       = {10.1007/978-3-319-96145-3\_31}
}




@book{mitchell97,
	author    = {Tom M. Mitchell},
	title     = {Machine learning, International Edition},
	@series    = {McGraw-Hill Series in Computer Science},
	@publisher = {McGraw-Hill},
	year      = {1997},
	@url       = {https://www.worldcat.org/oclc/61321007},
	@isbn      = {978-0-07-042807-2}
}



@article{DBLP:journals/datamine/Murthy98,
	author    = {Sreerama K. Murthy},
	title     = {Automatic Construction of Decision Trees from Data: {A} Multi-Disciplinary
	Survey},
	journal   = {Data Min. Knowl. Discov.},
	volume    = {2},
	number    = {4},
	pages     = {345--389},
	year      = {1998},
	xurl       = {https://doi.org/10.1023/A:1009744630224},
	doi       = {10.1023/A:1009744630224}
}



@inproceedings{DBLP:conf/popl/0001NMR16,
	author    = {Pranav Garg and
	Daniel Neider and
	P. Madhusudan and
	Dan Roth},
	title     = {Learning invariants using decision trees and implication counterexamples},
	booktitle = {{POPL}},
	pages     = {499--512},
	publisher = {{ACM}},
	year      = {2016},
	xurl       = {https://doi.org/10.1145/2837614.2837664},
	doi       = {10.1145/2837614.2837664}
}




@article{DBLP:journals/pacmpl/EzudheenND0M18,
	author    = {P. Ezudheen and
	Daniel Neider and
	Deepak D'Souza and
	Pranav Garg and
	P. Madhusudan},
	title     = {Horn-{ICE} learning for synthesizing invariants and contracts},
	journal   = {Proc. {ACM} Program. Lang.},
	volume    = {2},
	number    = {{OOPSLA}},
	pages     = {131:1--131:25},
	year      = {2018},
	xurl       = {https://doi.org/10.1145/3276501},
	doi       = {10.1145/3276501}
}



@inproceedings{DBLP:conf/icml/IttnerS96,
	author    = {Andreas Ittner and
	Michael Schlosser},
	title     = {Non-Linear Decision Trees - {NDT}},
	booktitle = {{ICML}},
	pages     = {252--257},
	publisher = {Morgan Kaufmann},
	year      = {1996},
	url={http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.25.9616&rep=rep1&type=pdf}
}



@article{girard2013low,
	title={Low-complexity quantized switching controllers using approximate bisimulation},
	author={Girard, Antoine},
	journal={Nonlinear Analysis: Hybrid Systems},
	volume={10},
	pages={34--44},
	year={2013},
	publisher={Elsevier},
	url={https://www.sciencedirect.com/science/article/abs/pii/S1751570X13000071?casa_token=w864bz-D_W8AAAAA:CqNm5Eu-qoOh8Zo-XjP869nU1k9ggczPsp4VDbUxq_IC3dLXBSDCy4Xc1pJkRW23SDjc2Gvz__I}
}


@inproceedings{DBLP:conf/voss/MinerP04,
	author    = {Andrew S. Miner and
	David Parker},
	title     = {Symbolic Representations and Analysis of Large Probabilistic Systems},
	booktitle = {Validation of Stochastic Systems},
	series    = {Lecture Notes in Computer Science},
	volume    = {2925},
	pages     = {296--338},
	publisher = {Springer},
	year      = {2004},
	xurl       = {https://doi.org/10.1007/978-3-540-24611-4\_9},
	doi       = {10.1007/978-3-540-24611-4\_9}
}





@inproceedings{liu2010compact,
	title={Compact representation of coordinated sampling policies for body sensor networks},
	author={Liu, Shuping and Panangadan, Anand and Talukder, Ashit and Raghavendra, Cauligi S},
	booktitle={2010 IEEE Globecom Workshops},
	pages={2044--2048},
	year={2010},
	organization={IEEE},
	url={https://ieeexplore.ieee.org/abstract/document/5700304}
}


@inproceedings{DBLP:conf/icml/BoutilierD96,
	author    = {Craig Boutilier and
	Richard Dearden},
	title     = {Approximate Value Trees in Structured Dynamic Programming},
	booktitle = {{ICML}},
	@pages     = {54--62},
	@publisher = {Morgan Kaufmann},
	year      = {1996},
	@url={https://www.semanticscholar.org/paper/Approximate-Value-Trees-in-Structured-Dynamic-Boutilier-Dearden/ddb3bd5136cea13652a5eca9e286956844d440ac}
}



@inproceedings{DBLP:conf/ijcai/KollerP99,
	author    = {Daphne Koller and
	Ronald Parr},
	title     = {Computing Factored Value Functions for Policies in Structured {MDP}s},
	booktitle = {{IJCAI}},
	pages     = {1332--1339},
	publisher = {Morgan Kaufmann},
	year      = {1999},
	url       = {http://ijcai.org/Proceedings/99-2/Papers/094.pdf}
}


@inproceedings{DBLP:conf/uai/HoeySHB99,
	author    = {Jesse Hoey and
	Robert St{-}Aubin and
	Alan J. Hu and
	Craig Boutilier},
	title     = {{SPUDD:} Stochastic Planning using Decision Diagrams},
	booktitle = {{UAI}},
	@pages     = {279--288},
	@publisher = {Morgan Kaufmann},
	year      = {1999},
	@url       = {https://arxiv.org/ftp/arxiv/papers/1301/1301.6704.pdf}	
}




@inproceedings{DBLP:conf/ijcai/KearnsK99,
	author    = {Michael J. Kearns and
	Daphne Koller},
	title     = {Efficient Reinforcement Learning in Factored {MDP}s},
	booktitle = {{IJCAI}},
	pages     = {740--747},
	publisher = {Morgan Kaufmann},
	year      = {1999},
	url       = {http://ijcai.org/Proceedings/99-2/Papers/013.pdf}
}



@inproceedings{DBLP:conf/ijcai/ChapmanK91,
	author    = {David Chapman and
	Leslie Pack Kaelbling},
	title     = {Input Generalization in Delayed Reinforcement Learning: An Algorithm
	and Performance Comparisons},
	booktitle = {{IJCAI}},
	pages     = {726--731},
	publisher = {Morgan Kaufmann},
	year      = {1991},
	url       = {http://ijcai.org/Proceedings/91-2/Papers/018.pdf},
	timestamp = {Tue, 20 Aug 2019 16:18:13 +0200}
}



@inproceedings{DBLP:conf/ijcai/BoutilierDG95,
	author    = {Craig Boutilier and
	Richard Dearden and
	Mois{\'{e}}s Goldszmidt},
	title     = {Exploiting Structure in Policy Construction},
	booktitle = {{IJCAI}},
	@pages     = {1104--1113},
	@publisher = {Morgan Kaufmann},
	year      = {1995},
	@url       = {http://ijcai.org/Proceedings/95-2/Papers/012.pdf}
}



@article{pyeatt2001decision,
	title={Decision tree function approximation in reinforcement learning},
	author={Pyeatt, Larry D and Howe, Adele E},
	journal={Computer Science Technical Report},
	@volume={CS-98-112},
	year={1998},
	@url={https://arxiv.org/ftp/arxiv/papers/1309/1309.6856.pdf}
}

@inproceedings{DBLP:conf/tacas/NeiderSM16,
	author    = {Daniel Neider and
	Shambwaditya Saha and
	P. Madhusudan},
	title     = {Synthesizing Piece-Wise Functions by Learning Classifiers},
	booktitle = {{TACAS}},
	series    = {Lecture Notes in Computer Science},
	volume    = {9636},
	pages     = {186--203},
	publisher = {Springer},
	year      = {2016},
	xurl       = {https://doi.org/10.1007/978-3-662-49674-9\_11},
	doi       = {10.1007/978-3-662-49674-9\_11}
}



@inproceedings{DBLP:conf/fmcad/NeiderM19,
	author    = {Daniel Neider and
	Oliver Markgraf},
	title     = {Learning-Based Synthesis of Safety Controllers},
	booktitle = {{FMCAD}},
	pages     = {120--128},
	publisher = {{IEEE}},
	year      = {2019},
	xurl       = {https://doi.org/10.23919/FMCAD.2019.8894254},
	doi       = {10.23919/FMCAD.2019.8894254}
}



@inproceedings{DBLP:conf/tacas/HartmannsH14,
	author    = {Arnd Hartmanns and
	Holger Hermanns},
	title     = {The {M}odest {T}oolset: An Integrated Environment for Quantitative Modelling
	and Verification},
	booktitle = {{TACAS}},
	series    = {Lecture Notes in Computer Science},
	volume    = {8413},
	pages     = {593--598},
	publisher = {Springer},
	year      = {2014},
	xurl       = {https://doi.org/10.1007/978-3-642-54862-8\_51},
	doi       = {10.1007/978-3-642-54862-8\_51}
}




@inproceedings{DBLP:conf/sfm/AbrahamBDJKW14,
	author    = {Erika {\'{A}}brah{\'{a}}m and
	Bernd Becker and
	Christian Dehnert and
	Nils Jansen and
	Joost{-}Pieter Katoen and
	Ralf Wimmer},
	title     = {Counterexample Generation for Discrete-Time {M}arkov Models: An Introductory
	Survey},
	booktitle = {{SFM}},
	series    = {Lecture Notes in Computer Science},
	volume    = {8483},
	pages     = {65--121},
	publisher = {Springer},
	year      = {2014},
	xurl       = {https://doi.org/10.1007/978-3-319-07317-0\_3},
	doi       = {10.1007/978-3-319-07317-0\_3}
}



@inproceedings{DBLP:conf/atva/DehnertJWAK14,
	author    = {Christian Dehnert and
	Nils Jansen and
	Ralf Wimmer and
	Erika {\'{A}}brah{\'{a}}m and
	Joost{-}Pieter Katoen},
	title     = {Fast Debugging of {PRISM} Models},
	booktitle = {{ATVA}},
	series    = {Lecture Notes in Computer Science},
	volume    = {8837},
	pages     = {146--162},
	publisher = {Springer},
	year      = {2014},
	xurl       = {https://doi.org/10.1007/978-3-319-11936-6\_11},
	doi       = {10.1007/978-3-319-11936-6\_11}
}



@inproceedings{CAV15,
	author    = {Tom{\'{a}}s Br{\'{a}}zdil and
	Krishnendu Chatterjee and
	Martin Chmelik and
	Andreas Fellner and
	Jan Kret{\'{\i}}nsk{\'{y}}},
	title     = {Counterexample Explanation by Learning Small Strategies in {M}arkov
	Decision Processes},
	booktitle = {{CAV}},
	@series    = {Lecture Notes in Computer Science},
	@volume    = {9206},
	@pages     = {158--177},
	@publisher = {Springer},
	year      = {2015},
	@xurl       = {https://doi.org/10.1007/978-3-319-21690-4\_10},
	@doi       = {10.1007/978-3-319-21690-4\_10}
}



@inproceedings{DBLP:conf/hybrid/RunggerZ16,
	author    = {Matthias Rungger and
	Majid Zamani},
	title     = {{SCOTS:} {A} Tool for the Synthesis of Symbolic Controllers},
	booktitle = {{HSCC}},
	pages     = {99--104},
	publisher = {{ACM}},
	year      = {2016},
	xurl       = {https://doi.org/10.1145/2883817.2883834},
	doi       = {10.1145/2883817.2883834}
}



@inproceedings{DBLP:conf/adhs/ZapreevVM18,
	author    = {Ivan S. Zapreev and
	Cees Verdier and
	Manuel Mazo Jr.},
	title     = {Optimal Symbolic Controllers Determinization for {BDD} storage},
	booktitle = {{ADHS}},
	series    = {IFAC-PapersOnLine},
	volume    = {51 (16)},
	pages     = {1--6},
	publisher = {Elsevier},
	year      = {2018},
	xurl       = {https://doi.org/10.1016/j.ifacol.2018.08.001},
	doi       = {10.1016/j.ifacol.2018.08.001}
}



@article{DBLP:journals/corr/abs-1712-05278,
	author    = {Philipp J. Meyer and
	Matthias Rungger and
	Michael Luttenberger and
	Javier Esparza and
	Majid Zamani},
	title     = {Quantitative Implementation Strategies for Safety Controllers},
	journal   = {CoRR},
	volume    = {abs/1712.05278},
	year      = {2017},
	url       = {http://arxiv.org/abs/1712.05278}
}



@inproceedings{DBLP:conf/tacas/BrazdilCKT18,
	author    = {Tom{\'{a}}s Br{\'{a}}zdil and
	Krishnendu Chatterjee and
	Jan Kret{\'{\i}}nsk{\'{y}} and
	Viktor Toman},
	title     = {Strategy Representation by Decision Trees in Reactive Synthesis},
	booktitle = {{TACAS}},
	@series    = {Lecture Notes in Computer Science},
	@volume    = {10805},
	@pages     = {385--407},
	@publisher = {Springer},
	year      = {2018},
	@xurl       = {https://doi.org/10.1007/978-3-319-89960-2\_21},
	@doi       = {10.1007/978-3-319-89960-2\_21}
}



@inproceedings{DBLP:conf/qest/AshokBCKLT19,
	author    = {Pranav Ashok and
	Tom{\'{a}}s Br{\'{a}}zdil and
	Krishnendu Chatterjee and
	Jan Kret{\'{\i}}nsk{\'{y}} and
	Christoph H. Lampert and
	Viktor Toman},
	title     = {Strategy Representation by Decision Trees with Linear Classifiers},
	booktitle = {{QEST}},
	@series    = {Lecture Notes in Computer Science},
	@volume    = {11785},
	@pages     = {109--128},
	@publisher = {Springer},
	year      = {2019},
	@xurl       = {https://doi.org/10.1007/978-3-030-30281-8\_7},
	@doi       = {10.1007/978-3-030-30281-8\_7}
}


@bachelorsthesis{wal2021using,
	title={Using dt{C}ontrol to process schedulers produced by the Modest Toolset},
	author={Wal, LE},
	type={Bachelor's Thesis},
	year={2021},
	school={University of Twente},
	url={http://essay.utwente.nl/87059/1/vanderWal_BA_EEMCS.pdf}
}

@inproceedings{DBLP:conf/hybrid/AshokJJKWZ20,
	author    = {Pranav Ashok and
	Mathias Jackermeier and
	Pushpak Jagtap and
	Jan Kret{\'{\i}}nsk{\'{y}} and
	Maximilian Weininger and
	Majid Zamani},
	title     = {dt{C}ontrol: decision tree learning algorithms for controller representation},
	booktitle = {{HSCC}},
	@pages     = {17:1--17:7},
	@publisher = {{ACM}},
	year      = {2020},
	@xurl       = {https://doi.org/10.1145/3365365.3382220},
	@doi       = {10.1145/3365365.3382220}
}


@bachelorsthesis{MJthesis,
	title={dt{C}ontrol: Decision tree learning for explainable controller representation},
	author={Jackermeier, Mathias},
	year={2020},
	type={Bachelor's Thesis},
	school={Technical University of Munich},
	url={https://mediatum.ub.tum.de/doc/1547107/file.pdf}
}

@bachelorsthesis{CWthesis,
	title={Learning domain-specific predicates in decision trees for explainable controller representation},
	author={Weinhuber, Christoph},
	year={2020},
	type={Bachelor's Thesis},
	school={Technical University of Munich},
	url={https://mediatum.ub.tum.de/doc/1617115/1617115.pdf}
}

@bachelorsthesis{SMAthesis,
	title={Generating Richer Predicates for Decision Trees},
	author={Akmese, Safa Mert},
	year={2019},
	school={Technical University of Munich},
	type={Bachelor's Thesis}
}

@bachelorsthesis{FJthesis,
	title={Learning algebraic predicates for explainable controllers},
	author={J{\"u}ngermann, Florian},
	year={2021},
	school={Technical University of Munich},
	type={Bachelor's Thesis},
	url={https://mediatum.ub.tum.de/doc/1612766/1612766.pdf}
}


@article{dtcontrol2-arxiv,
	author    = {Pranav Ashok and
	Mathias Jackermeier and
	Jan Kret{\'{\i}}nsk{\'{y}} and
	Christoph Weinhuber and
	Maximilian Weininger and
	Mayank Yadav},
	title     = {dt{C}ontrol 2.0: Explainable Strategy Representation via Decision Tree
	Learning Steered by Experts},
	journal   = {CoRR},
	volume    = {abs/2101.07202},
	year      = {2021},
	url       = {https://arxiv.org/abs/2101.07202}
}




@inproceedings{DBLP:conf/birthday/BaierCD0K18,
	author    = {Christel Baier and
	Philipp Chrszon and
	Clemens Dubslaff and
	Joachim Klein and
	Sascha Kl{\"{u}}ppelholz},
	title     = {Energy-Utility Analysis of Probabilistic Systems with Exogenous Coordination},
	booktitle = {It's All About Coordination},
	series    = {Lecture Notes in Computer Science},
	volume    = {10865},
	pages     = {38--56},
	publisher = {Springer},
	year      = {2018},
	xurl       = {https://doi.org/10.1007/978-3-319-90089-6\_3},
	doi       = {10.1007/978-3-319-90089-6\_3}
}



@inproceedings{DBLP:conf/atal/MouaddibBB07,
	author    = {Abdel{-}Illah Mouaddib and
	Matthieu Boussard and
	Maroua Bouzid},
	title     = {Towards a formal framework for multi-objective multiagent planning},
	booktitle = {{AAMAS}},
	pages     = {123},
	publisher = {{IFAAMAS}},
	year      = {2007},
	xurl       = {https://doi.org/10.1145/1329125.1329276},
	doi       = {10.1145/1329125.1329276}
}




@article{DBLP:journals/ml/VamplewDBID11,
	author    = {Peter Vamplew and
	Richard Dazeley and
	Adam Berry and
	Rustam Issabekov and
	Evan Dekker},
	title     = {Empirical evaluation methods for multiobjective reinforcement learning
	algorithms},
	journal   = {Mach. Learn.},
	volume    = {84},
	number    = {1-2},
	pages     = {51--80},
	year      = {2011},
	xurl       = {https://doi.org/10.1007/s10994-010-5232-5},
	doi       = {10.1007/s10994-010-5232-5}
}



@article{DBLP:journals/jair/RoijersVWD13,
	author    = {Diederik M. Roijers and
	Peter Vamplew and
	Shimon Whiteson and
	Richard Dazeley},
	title     = {A Survey of Multi-Objective Sequential Decision-Making},
	journal   = {J. Artif. Intell. Res.},
	volume    = {48},
	pages     = {67--113},
	year      = {2013},
	xurl       = {https://doi.org/10.1613/jair.3987},
	doi       = {10.1613/jair.3987}
}



@inproceedings{DBLP:conf/concur/BruyereHRR19,
	author    = {V{\'{e}}ronique Bruy{\`{e}}re and
	Quentin Hautem and
	Mickael Randour and
	Jean{-}Fran{\c{c}}ois Raskin},
	title     = {Energy Mean-Payoff Games},
	booktitle = {{CONCUR}},
	series    = {LIPIcs},
	volume    = {140},
	pages     = {21:1--21:17},
	publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
	year      = {2019},
	xurl       = {https://doi.org/10.4230/LIPIcs.CONCUR.2019.21},
	doi       = {10.4230/LIPIcs.CONCUR.2019.21}
}



@inproceedings{DBLP:conf/mfcs/ChatterjeeD11,
	author    = {Krishnendu Chatterjee and
	Laurent Doyen},
	title     = {Energy and Mean-Payoff Parity {M}arkov Decision Processes},
	booktitle = {{MFCS}},
	series    = {Lecture Notes in Computer Science},
	volume    = {6907},
	pages     = {206--218},
	publisher = {Springer},
	year      = {2011},
	xurl       = {https://doi.org/10.1007/978-3-642-22993-0\_21},
	doi       = {10.1007/978-3-642-22993-0\_21}
}



@article{DBLP:journals/siglog/BaierD18,
	author    = {Christel Baier and
	Clemens Dubslaff},
	title     = {From verification to synthesis under cost-utility constraints},
	journal   = {{ACM} {SIGLOG} News},
	volume    = {5},
	number    = {4},
	pages     = {26--46},
	year      = {2018},
	url       = {https://dl.acm.org/citation.cfm?id=3292052},
	doi       = {10.1145/3292048.3292052}
}


@inproceedings{DBLP:conf/rp/Baier15,
	author    = {Christel Baier},
	title     = {Reasoning About Cost-Utility Constraints in Probabilistic Models},
	booktitle = {{RP}},
	series    = {Lecture Notes in Computer Science},
	volume    = {9328},
	pages     = {1--6},
	publisher = {Springer},
	year      = {2015},
	xurl       = {https://doi.org/10.1007/978-3-319-24537-9\_1},
	doi       = {10.1007/978-3-319-24537-9\_1}
}



@article{fishburn1974exceptional,
	title={Exceptional paper—Lexicographic orders, utilities and decision rules: A survey},
	author={Fishburn, Peter C},
	journal={Management science},
	volume={20},
	number={11},
	pages={1442--1471},
	year={1974},
	publisher={INFORMS},
	xurl={https://doi.org/10.1287/mnsc.20.11.1442},
	doi={10.1287/mnsc.20.11.1442}
}



@inproceedings{DBLP:conf/lics/ClementeR15,
	author    = {Lorenzo Clemente and
	Jean{-}Fran{\c{c}}ois Raskin},
	title     = {Multidimensional beyond Worst-Case and Almost-Sure Problems for Mean-Payoff
	Objectives},
	booktitle = {{LICS}},
	pages     = {257--268},
	publisher = {{IEEE} Computer Society},
	year      = {2015},
	xurl       = {https://doi.org/10.1109/LICS.2015.33},
	doi       = {10.1109/LICS.2015.33}
}



@article{DBLP:journals/iandc/BruyereFRR17,
	author    = {V{\'{e}}ronique Bruy{\`{e}}re and
	Emmanuel Filiot and
	Mickael Randour and
	Jean{-}Fran{\c{c}}ois Raskin},
	title     = {Meet your expectations with guarantees: Beyond worst-case synthesis
	in quantitative games},
	journal   = {Inf. Comput.},
	volume    = {254},
	pages     = {259--295},
	year      = {2017},
	xurl       = {https://doi.org/10.1016/j.ic.2016.10.011},
	doi       = {10.1016/j.ic.2016.10.011}
}



@inproceedings{DBLP:conf/icalp/BerthonRR17,
	author    = {Rapha{\"{e}}l Berthon and
	Mickael Randour and
	Jean{-}Fran{\c{c}}ois Raskin},
	title     = {Threshold Constraints with Guarantees for Parity Objectives in {M}arkov
	Decision Processes},
	booktitle = {{ICALP}},
	series    = {LIPIcs},
	volume    = {80},
	pages     = {121:1--121:15},
	publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
	year      = {2017},
	xurl       = {https://doi.org/10.4230/LIPIcs.ICALP.2017.121},
	doi       = {10.4230/LIPIcs.ICALP.2017.121}
}



@incollection{DBLP:series/lncs/LegayLTYSG19,
	author    = {Axel Legay and
	Anna Lukina and
	Louis{-}Marie Traonouez and
	Junxing Yang and
	Scott A. Smolka and
	Radu Grosu},
	title     = {Statistical Model Checking},
	booktitle = {Computing and Software Science},
	series    = {Lecture Notes in Computer Science},
	volume    = {10000},
	pages     = {478--504},
	publisher = {Springer},
	year      = {2019},
	xurl       = {https://doi.org/10.1007/978-3-319-91908-9\_23},
	doi       = {10.1007/978-3-319-91908-9\_23}
}


@inproceedings{DBLP:conf/fossacs/UmmelsB13,
	author    = {Michael Ummels and
	Christel Baier},
	title     = {Computing Quantiles in {M}arkov Reward Models},
	booktitle = {FoSSaCS},
	series    = {Lecture Notes in Computer Science},
	volume    = {7794},
	pages     = {353--368},
	publisher = {Springer},
	year      = {2013},
	xurl       = {https://doi.org/10.1007/978-3-642-37075-5\_23},
	doi       = {10.1007/978-3-642-37075-5\_23}
}




@article{lankaites2017technique,
	title={A technique based on trade-off maps to visualise and analyse relationships between objectives in optimisation problems},
	author={Lankaites Pinheiro, Rodrigo and Landa-Silva, Dario and Atkin, Jason},
	journal={Journal of Multi-Criteria Decision Analysis},
	volume={24},
	number={1-2},
	pages={37--56},
	year={2017},
	publisher={Wiley Online Library},
	xurl={https://doi.org/10.1002/mcda.1604},
	doi={10.1002/mcda.1604}
}

@inproceedings{DBLP:conf/emsoft/ChakrabartiAHS03,
	author    = {Arindam Chakrabarti and
	Luca de Alfaro and
	Thomas A. Henzinger and
	Mari{\"{e}}lle Stoelinga},
	title     = {Resource Interfaces},
	booktitle = {{EMSOFT}},
	series    = {Lecture Notes in Computer Science},
	volume    = {2855},
	pages     = {117--133},
	publisher = {Springer},
	year      = {2003},
	xurl       = {https://doi.org/10.1007/978-3-540-45212-6\_9},
	doi       = {10.1007/978-3-540-45212-6\_9}
}




@inproceedings{DBLP:conf/csl/DegorreDGRT10,
	author    = {Aldric Degorre and
	Laurent Doyen and
	Raffaella Gentilini and
	Jean{-}Fran{\c{c}}ois Raskin and
	Szymon Torunczyk},
	title     = {Energy and Mean-Payoff Games with Imperfect Information},
	booktitle = {{CSL}},
	series    = {Lecture Notes in Computer Science},
	volume    = {6247},
	pages     = {260--274},
	publisher = {Springer},
	year      = {2010},
	xurl       = {https://doi.org/10.1007/978-3-642-15205-4\_22},
	doi       = {10.1007/978-3-642-15205-4\_22}
}


@article{DBLP:journals/ijhis/Mouaddib12,
	author    = {Abdel{-}Illah Mouaddib},
	title     = {Vector-Value {M}arkov Decision Process for multi-objective stochastic
	path planning},
	journal   = {Int. J. Hybrid Intell. Syst.},
	volume    = {9},
	number    = {1},
	pages     = {45--60},
	year      = {2012},
	xurl       = {https://doi.org/10.3233/HIS-2012-0146},
	doi       = {10.3233/HIS-2012-0146}
}



@inproceedings{DBLP:conf/soda/GimbertH10,
	author    = {Hugo Gimbert and
	Florian Horn},
	title     = {Solving Simple Stochastic Tail Games},
	booktitle = {{SODA}},
	pages     = {847--862},
	publisher = {{SIAM}},
	year      = {2010},
	xurl       = {https://doi.org/10.1137/1.9781611973075.69},
	doi       = {10.1137/1.9781611973075.69}
}


@inproceedings{DBLP:conf/icse/CamaraMG14,
	author    = {Javier C{\'{a}}mara and
	Gabriel A. Moreno and
	David Garlan},
	title     = {Stochastic game analysis and latency awareness for proactive self-adaptation},
	booktitle = {{SEAMS}},
	pages     = {155--164},
	publisher = {{ACM}},
	year      = {2014},
	xurl       = {https://doi.org/10.1145/2593929.2593933},
	doi       = {10.1145/2593929.2593933}
}

@phdthesis{santos2020automatic,
	title={Automatic verification and strategy synthesis for zero-sum and equilibria properties of concurrent stochastic games},
	author={Santos, Gabriel HR},
	year={2020},
	school={University of Oxford},
	url={https://ora.ox.ac.uk/objects/uuid:225cfc43-df30-4dc2-919b-66e8037633a6/download_file?safe_filename=THESIS__GABRIEL_SANTOS.pdf&file_format=pdf&type_of_work=Thesis}
}


@phdthesis{wiltsche2015assume,
	title={Assume-guarantee strategy synthesis for stochastic games.},
	author={Wiltsche, Clemens},
	year={2015},
	school={University of Oxford},
	url={https://prism4ai.org/papers/clemens-wiltsche-phd.pdf}
}


@inproceedings{DBLP:conf/qest/AljazzarL09,
	author    = {Husain Aljazzar and
	Stefan Leue},
	title     = {Generation of Counterexamples for Model Checking of {M}arkov Decision
	Processes},
	booktitle = {{QEST}},
	pages     = {197--206},
	publisher = {{IEEE} Computer Society},
	year      = {2009},
	xurl       = {https://doi.org/10.1109/QEST.2009.10},
	doi       = {10.1109/QEST.2009.10}
}


@inproceedings{DBLP:conf/vmcai/RandourRS15,
	author    = {Mickael Randour and
	Jean{-}Fran{\c{c}}ois Raskin and
	Ocan Sankur},
	title     = {Variations on the Stochastic Shortest Path Problem},
	booktitle = {{VMCAI}},
	series    = {Lecture Notes in Computer Science},
	volume    = {8931},
	pages     = {1--18},
	publisher = {Springer},
	year      = {2015},
	xurl       = {https://doi.org/10.1007/978-3-662-46081-8\_1},
	doi       = {10.1007/978-3-662-46081-8\_1}
}




@inproceedings{DBLP:conf/cav/QuatmannJK17,
	author    = {Tim Quatmann and
	Sebastian Junges and
	Joost{-}Pieter Katoen},
	title     = {{M}arkov Automata with Multiple Objectives},
	booktitle = {{CAV} {(1)}},
	series    = {Lecture Notes in Computer Science},
	volume    = {10426},
	pages     = {140--159},
	publisher = {Springer},
	year      = {2017},
	xurl       = {https://doi.org/10.1007/978-3-319-63387-9\_7},
	doi       = {10.1007/978-3-319-63387-9\_7}
}



@article{DBLP:journals/jar/HartmannsJKQ20,
	author    = {Arnd Hartmanns and
	Sebastian Junges and
	Joost{-}Pieter Katoen and
	Tim Quatmann},
	title     = {Multi-cost Bounded Tradeoff Analysis in {MDP}},
	journal   = {J. Autom. Reason.},
	volume    = {64},
	number    = {7},
	pages     = {1483--1522},
	year      = {2020},
	xurl       = {https://doi.org/10.1007/s10817-020-09574-9},
	doi       = {10.1007/s10817-020-09574-9}
}


@inproceedings{DBLP:conf/tacas/QuatmannK21,
	author    = {Tim Quatmann and
	Joost{-}Pieter Katoen},
	title     = {Multi-objective Optimization of Long-run Average and Total Rewards},
	booktitle = {{TACAS} {(1)}},
	series    = {Lecture Notes in Computer Science},
	volume    = {12651},
	pages     = {230--249},
	publisher = {Springer},
	year      = {2021},
	xurl       = {https://doi.org/10.1007/978-3-030-72016-2\_13},
	doi       = {10.1007/978-3-030-72016-2\_13}
}



@inproceedings{DBLP:conf/concur/ChatterjeeHO20,
	author    = {Krishnendu Chatterjee and
	Thomas A. Henzinger and
	Jan Otop},
	title     = {Multi-Dimensional Long-Run Average Problems for Vector Addition Systems
	with States},
	booktitle = {{CONCUR}},
	series    = {LIPIcs},
	volume    = {171},
	pages     = {23:1--23:22},
	publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
	year      = {2020},
	xurl       = {https://doi.org/10.4230/LIPIcs.CONCUR.2020.23},
	doi       = {10.4230/LIPIcs.CONCUR.2020.23}
}


@inproceedings{DBLP:conf/caepia/SedovaMP21,
	author    = {Ekaterina Sedova and
	Lawrence Mandow and
	Jos{\'{e}}{-}Luis P{\'{e}}rez{-}de{-}la{-}Cruz},
	title     = {Asynchronous Vector Iteration in Multi-objective {M}arkov Decision Processes},
	booktitle = {{CAEPIA}},
	series    = {Lecture Notes in Computer Science},
	volume    = {12882},
	pages     = {129--138},
	publisher = {Springer},
	year      = {2021},
	xurl       = {https://doi.org/10.1007/978-3-030-85713-4\_13},
	doi       = {10.1007/978-3-030-85713-4\_13}
}




@inproceedings{DBLP:conf/aaai/PernyWGH13,
	author    = {Patrice Perny and
	Paul Weng and
	Judy Goldsmith and
	Josiah Hanna},
	title     = {Approximation of {L}orenz-Optimal Solutions in Multiobjective {M}arkov
	Decision Processes},
	booktitle = {{AAAI} (Late-Breaking Developments)},
	series    = {{AAAI} Technical Report},
	volume    = {{WS-13-17}},
	publisher = {{AAAI}},
	year      = {2013},
	url       = {https://arxiv.org/ftp/arxiv/papers/1309/1309.6856.pdf}
}



@proceedings{DBLP:conf/dagstuhl/2008moo,
	editor    = {J{\"{u}}rgen Branke and
	Kalyanmoy Deb and
	Kaisa Miettinen and
	Roman Slowinski},
	title     = {Multiobjective Optimization, Interactive and Evolutionary Approaches
	[outcome of {D}agstuhl seminars]},
	series    = {Lecture Notes in Computer Science},
	volume    = {5252},
	publisher = {Springer},
	year      = {2008},
	xurl       = {https://doi.org/10.1007/978-3-540-88908-3},
	doi       = {10.1007/978-3-540-88908-3},
	isbn      = {978-3-540-88907-6}
}



@article{DBLP:journals/ijitdm/OgryczakPW13,
	author    = {Wlodzimierz Ogryczak and
	Patrice Perny and
	Paul Weng},
	title     = {A Compromise Programming Approach to multiobjective {M}arkov Decision
	Processes},
	journal   = {Int. J. Inf. Technol. Decis. Mak.},
	volume    = {12},
	number    = {5},
	pages     = {1021--1054},
	year      = {2013},
	xurl       = {https://doi.org/10.1142/S0219622013400075},
	doi       = {10.1142/S0219622013400075}
}



@article{DBLP:journals/iandc/KwiatkowskaNPQ13,
	author    = {Marta Z. Kwiatkowska and
	Gethin Norman and
	David Parker and
	Hongyang Qu},
	title     = {Compositional probabilistic verification through multi-objective model
	checking},
	journal   = {Inf. Comput.},
	volume    = {232},
	pages     = {38--65},
	year      = {2013},
	xurl       = {https://doi.org/10.1016/j.ic.2013.10.001},
	doi       = {10.1016/j.ic.2013.10.001}
}




@inproceedings{DBLP:conf/icse/EsteveKNPY12,
	author    = {Marie{-}Aude Esteve and
	Joost{-}Pieter Katoen and
	Viet Yen Nguyen and
	Bart Postma and
	Yuri Yushtein},
	title     = {Formal correctness, safety, dependability, and performance analysis
	of a satellite},
	booktitle = {{ICSE}},
	pages     = {1022--1031},
	publisher = {{IEEE} Computer Society},
	year      = {2012},
	xurl       = {https://doi.org/10.1109/ICSE.2012.6227118},
	doi       = {10.1109/ICSE.2012.6227118}
}



@inproceedings{DBLP:conf/stacs/ChatterjeeMH06,
	author    = {Krishnendu Chatterjee and
	Rupak Majumdar and
	Thomas A. Henzinger},
	title     = {{M}arkov Decision Processes with Multiple Objectives},
	booktitle = {{STACS}},
	series    = {Lecture Notes in Computer Science},
	volume    = {3884},
	pages     = {325--336},
	publisher = {Springer},
	year      = {2006},
	xurl       = {https://doi.org/10.1007/11672142\_26},
	doi       = {10.1007/11672142\_26}
}



@inproceedings{DBLP:journals/corr/abs-1809-03107,
	author    = {Patricia Bouyer and
	Mauricio Gonz{\'{a}}lez and
	Nicolas Markey and
	Mickael Randour},
	title     = {Multi-weighted {M}arkov Decision Processes with Reachability Objectives},
	booktitle = {GandALF},
	series    = {{EPTCS}},
	volume    = {277},
	pages     = {250--264},
	year      = {2018},
	xurl       = {https://doi.org/10.4204/EPTCS.277.18},
	doi       = {10.4204/EPTCS.277.18}
}



@inproceedings{DBLP:conf/tacas/DelgrangeKQR20,
	author    = {Florent Delgrange and
	Joost{-}Pieter Katoen and
	Tim Quatmann and
	Mickael Randour},
	title     = {Simple Strategies in Multi-Objective {MDP}s},
	booktitle = {{TACAS} {(1)}},
	series    = {Lecture Notes in Computer Science},
	volume    = {12078},
	pages     = {346--364},
	publisher = {Springer},
	year      = {2020},
	xurl       = {https://doi.org/10.1007/978-3-030-45190-5\_19},
	doi       = {10.1007/978-3-030-45190-5\_19}
}



@article{DBLP:journals/acta/ChatterjeeRR14,
	author    = {Krishnendu Chatterjee and
	Mickael Randour and
	Jean{-}Fran{\c{c}}ois Raskin},
	title     = {Strategy synthesis for multi-dimensional quantitative objectives},
	journal   = {Acta Informatica},
	volume    = {51},
	number    = {3-4},
	pages     = {129--163},
	year      = {2014},
	xurl       = {https://doi.org/10.1007/s00236-013-0182-6},
	doi       = {10.1007/s00236-013-0182-6}
}


@article{DBLP:journals/iandc/VelnerC0HRR15,
	author    = {Yaron Velner and
	Krishnendu Chatterjee and
	Laurent Doyen and
	Thomas A. Henzinger and
	Alexander Moshe Rabinovich and
	Jean{-}Fran{\c{c}}ois Raskin},
	title     = {The complexity of multi-mean-payoff and multi-energy games},
	journal   = {Inf. Comput.},
	volume    = {241},
	pages     = {177--196},
	year      = {2015},
	xurl       = {https://doi.org/10.1016/j.ic.2015.03.001},
	doi       = {10.1016/j.ic.2015.03.001}
}




@inproceedings{DBLP:conf/concur/BruyereHR16,
	author    = {V{\'{e}}ronique Bruy{\`{e}}re and
	Quentin Hautem and
	Jean{-}Fran{\c{c}}ois Raskin},
	title     = {On the Complexity of Heterogeneous Multidimensional Games},
	booktitle = {{CONCUR}},
	series    = {LIPIcs},
	volume    = {59},
	pages     = {11:1--11:15},
	publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
	year      = {2016},
	xurl       = {https://doi.org/10.4230/LIPIcs.CONCUR.2016.11},
	doi       = {10.4230/LIPIcs.CONCUR.2016.11}
}



@inproceedings{DBLP:conf/lics/BerthonGR20,
	author    = {Rapha{\"{e}}l Berthon and
	Shibashis Guha and
	Jean{-}Fran{\c{c}}ois Raskin},
	title     = {Mixing Probabilistic and non-Probabilistic Objectives in {M}arkov Decision
	Processes},
	booktitle = {{LICS}},
	pages     = {195--208},
	publisher = {{ACM}},
	year      = {2020},
	xurl       = {https://doi.org/10.1145/3373718.3394805},
	doi       = {10.1145/3373718.3394805}
}



@inproceedings{DBLP:conf/aaai/HasanzadeZonuzy21,
	author    = {Aria HasanzadeZonuzy and
	Archana Bura and
	Dileep M. Kalathil and
	Srinivas Shakkottai},
	title     = {Learning with Safety Constraints: Sample Complexity of Reinforcement
	Learning for Constrained {MDP}s},
	booktitle = {{AAAI}},
	pages     = {7667--7674},
	publisher = {{AAAI} Press},
	year      = {2021},
	url       = {https://ojs.aaai.org/index.php/AAAI/article/view/16937},
}




@inproceedings{DBLP:conf/tacas/Junges0DTK16,
	author    = {Sebastian Junges and
	Nils Jansen and
	Christian Dehnert and
	Ufuk Topcu and
	Joost{-}Pieter Katoen},
	title     = {Safety-Constrained Reinforcement Learning for {MDP}s},
	booktitle = {{TACAS}},
	series    = {Lecture Notes in Computer Science},
	volume    = {9636},
	pages     = {130--146},
	publisher = {Springer},
	year      = {2016},
	xurl       = {https://doi.org/10.1007/978-3-662-49674-9\_8},
	doi       = {10.1007/978-3-662-49674-9\_8}
}


@inproceedings{DBLP:journals/corr/abs-1106-1232,
	author    = {Krishnendu Chatterjee and
	Nathana{\"{e}}l Fijalkow},
	title     = {A reduction from parity games to simple stochastic games},
	booktitle = {GandALF},
	series    = {{EPTCS}},
	volume    = {54},
	pages     = {74--86},
	year      = {2011},
	xurl       = {https://doi.org/10.4204/EPTCS.54.6},
	doi       = {10.4204/EPTCS.54.6}
}



@inproceedings{DBLP:conf/fossacs/Velner15,
	author    = {Yaron Velner},
	title     = {Robust Multidimensional Mean-Payoff Games are Undecidable},
	booktitle = {FoSSaCS},
	series    = {Lecture Notes in Computer Science},
	volume    = {9034},
	pages     = {312--327},
	publisher = {Springer},
	year      = {2015},
	xurl       = {https://doi.org/10.1007/978-3-662-46678-0\_20},
	doi       = {10.1007/978-3-662-46678-0\_20}
}




@inproceedings{DBLP:conf/recomb/CrescenziGPPY98,
	author    = {Pierluigi Crescenzi and
	Deborah Goldman and
	Christos H. Papadimitriou and
	Antonio Piccolboni and
	Mihalis Yannakakis},
	title     = {On the complexity of protein folding (abstract)},
	booktitle = {{RECOMB}},
	pages     = {61--62},
	publisher = {{ACM}},
	year      = {1998},
	xurl       = {https://doi.org/10.1145/279069.279089},
	doi       = {10.1145/279069.279089}
}



@inproceedings{DBLP:conf/focs/PapadimitriouY00,
	author    = {Christos H. Papadimitriou and
	Mihalis Yannakakis},
	title     = {On the Approximability of Trade-offs and Optimal Access of Web Sources},
	booktitle = {{FOCS}},
	pages     = {86--92},
	publisher = {{IEEE} Computer Society},
	year      = {2000},
	xurl       = {https://doi.org/10.1109/SFCS.2000.892068},
	doi       = {10.1109/SFCS.2000.892068}
}



@inproceedings{DBLP:conf/pods/PapadimitriouY01,
	author    = {Christos H. Papadimitriou and
	Mihalis Yannakakis},
	title     = {Multiobjective Query Optimization},
	booktitle = {{PODS}},
	publisher = {{ACM}},
	year      = {2001},
	xurl       = {https://doi.org/10.1145/375551.375560},
	doi       = {10.1145/375551.375560}
}




@inproceedings{DBLP:conf/qest/ChenKSW13,
	author    = {Taolue Chen and
	Marta Z. Kwiatkowska and
	Aistis Simaitis and
	Clemens Wiltsche},
	title     = {Synthesis for Multi-objective Stochastic Games: An Application to
	Autonomous Urban Driving},
	booktitle = {{QEST}},
	series    = {Lecture Notes in Computer Science},
	volume    = {8054},
	pages     = {322--337},
	publisher = {Springer},
	year      = {2013},
	xurl       = {https://doi.org/10.1007/978-3-642-40196-1\_28},
	doi       = {10.1007/978-3-642-40196-1\_28}
}


@inproceedings{DBLP:conf/csl/BaierDK14,
	author    = {Christel Baier and
	Clemens Dubslaff and
	Sascha Kl{\"{u}}ppelholz},
	title     = {Trade-off analysis meets probabilistic model checking},
	booktitle = {{CSL-LICS}},
	pages     = {1:1--1:10},
	publisher = {{ACM}},
	year      = {2014},
	xurl       = {https://doi.org/10.1145/2603088.2603089},
	doi       = {10.1145/2603088.2603089}
}



@inproceedings{DBLP:conf/fase/BaierDKDKMW14,
	author    = {Christel Baier and
	Clemens Dubslaff and
	Sascha Kl{\"{u}}ppelholz and
	Marcus Daum and
	Joachim Klein and
	Steffen M{\"{a}}rcker and
	Sascha Wunderlich},
	title     = {Probabilistic Model Checking and Non-standard Multi-objective Reasoning},
	booktitle = {{FASE}},
	series    = {Lecture Notes in Computer Science},
	volume    = {8411},
	pages     = {1--16},
	publisher = {Springer},
	year      = {2014},
	xurl       = {https://doi.org/10.1007/978-3-642-54804-8\_1},
	doi       = {10.1007/978-3-642-54804-8\_1}
}



@inproceedings{DBLP:conf/nfm/BaierDDKK14,
	author    = {Christel Baier and
	Marcus Daum and
	Clemens Dubslaff and
	Joachim Klein and
	Sascha Kl{\"{u}}ppelholz},
	title     = {Energy-Utility Quantiles},
	booktitle = {{NASA} Formal Methods},
	series    = {Lecture Notes in Computer Science},
	volume    = {8430},
	pages     = {285--299},
	publisher = {Springer},
	year      = {2014},
	xurl       = {https://doi.org/10.1007/978-3-319-06200-6\_24},
	doi       = {10.1007/978-3-319-06200-6\_24}
}



@inproceedings{DBLP:conf/lics/HaaseKL17,
	author    = {Christoph Haase and
	Stefan Kiefer and
	Markus Lohrey},
	title     = {Computing quantiles in {M}arkov chains with multi-dimensional costs},
	booktitle = {{LICS}},
	pages     = {1--12},
	publisher = {{IEEE} Computer Society},
	year      = {2017},
	xurl       = {https://doi.org/10.1109/LICS.2017.8005090},
	doi       = {10.1109/LICS.2017.8005090}
}



@article{DBLP:journals/corr/abs-2204-12280,
	author    = {Jakob Piribauer and
	Ocan Sankur and
	Christel Baier},
	title     = {The variance-penalized stochastic shortest path problem},
	journal   = {CoRR},
	volume    = {abs/2204.12280},
	year      = {2022},
	xurl       = {https://doi.org/10.48550/arXiv.2204.12280},
	doi       = {10.48550/arXiv.2204.12280}
}



@article{DBLP:journals/tac/FilarKR95,
	author    = {Jerzy A. Filar and
	Dmitry Krass and
	Keith Ross},
	title     = {Percentile performance criteria for limiting average {M}arkov decision
	processes},
	journal   = {{IEEE} Trans. Autom. Control.},
	volume    = {40},
	number    = {1},
	pages     = {2--10},
	year      = {1995},
	xurl       = {https://doi.org/10.1109/9.362904},
	doi       = {10.1109/9.362904}
}



@article{DBLP:journals/ejcon/SvorenovaK16,
	author    = {Mar{\'{\i}}a Svorenov{\'{a}} and
	Marta Kwiatkowska},
	title     = {Quantitative verification and strategy synthesis for stochastic games},
	journal   = {Eur. J. Control},
	volume    = {30},
	pages     = {15--30},
	year      = {2016},
	xurl       = {https://doi.org/10.1016/j.ejcon.2016.04.009},
	doi       = {10.1016/j.ejcon.2016.04.009}
}



@inproceedings{DBLP:conf/tacas/ForejtKNPQ11,
	author    = {Vojtech Forejt and
	Marta Z. Kwiatkowska and
	Gethin Norman and
	David Parker and
	Hongyang Qu},
	title     = {Quantitative Multi-objective Verification for Probabilistic Systems},
	booktitle = {{TACAS}},
	series    = {Lecture Notes in Computer Science},
	volume    = {6605},
	pages     = {112--127},
	publisher = {Springer},
	year      = {2011},
	xurl       = {https://doi.org/10.1007/978-3-642-19835-9\_11},
	doi       = {10.1007/978-3-642-19835-9\_11}
}


@inproceedings{DBLP:conf/lpar/ChatterjeeFW13,
	author    = {Krishnendu Chatterjee and
	Vojtech Forejt and
	Dominik Wojtczak},
	title     = {Multi-objective Discounted Reward Verification in Graphs and {MDP}s},
	booktitle = {{LPAR}},
	series    = {Lecture Notes in Computer Science},
	volume    = {8312},
	pages     = {228--242},
	publisher = {Springer},
	year      = {2013},
	xurl       = {https://doi.org/10.1007/978-3-642-45221-5\_17},
	doi       = {10.1007/978-3-642-45221-5\_17}
}



@inproceedings{DBLP:conf/tacas/BrazdilCFK15,
	author    = {Tom{\'{a}}s Br{\'{a}}zdil and
	Krishnendu Chatterjee and
	Vojtech Forejt and
	Anton{\'{\i}}n Kucera},
	title     = {MultiGain: {A} Controller Synthesis Tool for {MDPs} with Multiple Mean-Payoff
	Objectives},
	booktitle = {{TACAS}},
	series    = {Lecture Notes in Computer Science},
	volume    = {9035},
	pages     = {181--187},
	publisher = {Springer},
	year      = {2015},
	xurl       = {https://doi.org/10.1007/978-3-662-46681-0\_12},
	doi       = {10.1007/978-3-662-46681-0\_12}
}



@article{DBLP:journals/jcss/BrazdilCFK17,
	author    = {Tom{\'{a}}s Br{\'{a}}zdil and
	Krishnendu Chatterjee and
	Vojtech Forejt and
	Anton{\'{\i}}n Kucera},
	title     = {Trading performance for stability in {M}arkov decision processes},
	journal   = {J. Comput. Syst. Sci.},
	volume    = {84},
	pages     = {144--170},
	year      = {2017},
	xurl       = {https://doi.org/10.1016/j.jcss.2016.09.009},
	doi       = {10.1016/j.jcss.2016.09.009}
}


@article{DBLP:journals/iandc/BassetKW18,
	author    = {Nicolas Basset and
	Marta Z. Kwiatkowska and
	Clemens Wiltsche},
	title     = {Compositional strategy synthesis for stochastic games with multiple
	objectives},
	journal   = {Inf. Comput.},
	volume    = {261},
	pages     = {536--587},
	year      = {2018},
	xurl       = {https://doi.org/10.1016/j.ic.2017.09.010},
	doi       = {10.1016/j.ic.2017.09.010}
}




@inproceedings{DBLP:conf/cav/BrenguierR15,
	author    = {Romain Brenguier and
	Jean{-}Fran{\c{c}}ois Raskin},
	title     = {Pareto Curves of Multidimensional Mean-Payoff Games},
	booktitle = {{CAV} {(2)}},
	series    = {Lecture Notes in Computer Science},
	volume    = {9207},
	pages     = {251--267},
	publisher = {Springer},
	year      = {2015},
	xurl       = {https://doi.org/10.1007/978-3-319-21668-3\_15},
	doi       = {10.1007/978-3-319-21668-3\_15}
}



@inproceedings{DBLP:conf/fossacs/Chatterjee0GO14,
	author    = {Krishnendu Chatterjee and
	Laurent Doyen and
	Hugo Gimbert and
	Youssouf Oualhadj},
	title     = {Perfect-Information Stochastic Mean-Payoff Parity Games},
	booktitle = {FoSSaCS},
	series    = {Lecture Notes in Computer Science},
	volume    = {8412},
	pages     = {210--225},
	publisher = {Springer},
	year      = {2014},
	xurl       = {https://doi.org/10.1007/978-3-642-54830-7\_14},
	doi       = {10.1007/978-3-642-54830-7\_14}
}



@inproceedings{DBLP:conf/lics/Chatterjee016,
	author    = {Krishnendu Chatterjee and
	Laurent Doyen},
	title     = {Perfect-Information Stochastic Games with Generalized Mean-Payoff
	Objectives},
	booktitle = {{LICS}},
	pages     = {247--256},
	publisher = {{ACM}},
	year      = {2016},
	xurl       = {https://doi.org/10.1145/2933575.2934513},
	doi       = {10.1145/2933575.2934513}
}



@inproceedings{DBLP:conf/tacas/BassetKTW15,
	author    = {Nicolas Basset and
	Marta Z. Kwiatkowska and
	Ufuk Topcu and
	Clemens Wiltsche},
	title     = {Strategy Synthesis for Stochastic Games with Multiple Long-Run Objectives},
	booktitle = {{TACAS}},
	series    = {Lecture Notes in Computer Science},
	volume    = {9035},
	pages     = {256--271},
	publisher = {Springer},
	year      = {2015},
	xurl       = {https://doi.org/10.1007/978-3-662-46681-0\_22},
	doi       = {10.1007/978-3-662-46681-0\_22}
}


@inproceedings{DBLP:conf/fsttcs/Chatterjee07a,
	author    = {Krishnendu Chatterjee},
	title     = {{M}arkov Decision Processes with Multiple Long-Run Average Objectives},
	booktitle = {{FSTTCS}},
	series    = {Lecture Notes in Computer Science},
	volume    = {4855},
	pages     = {473--484},
	publisher = {Springer},
	year      = {2007},
	xurl       = {https://doi.org/10.1007/978-3-540-77050-3\_39},
	doi       = {10.1007/978-3-540-77050-3\_39}
}


@article{DBLP:journals/lmcs/ChatterjeeKK17,
	author    = {Krishnendu Chatterjee and
	Zuzana Kret{\'{\i}}nsk{\'{a}} and
	Jan Kret{\'{\i}}nsk{\'{y}}},
	title     = {Unifying Two Views on Multiple Mean-Payoff Objectives in {M}arkov Decision
	Processes},
	journal   = {Log. Methods Comput. Sci.},
	volume    = {13},
	number    = {2},
	year      = {2017},
	xurl       = {https://doi.org/10.23638/LMCS-13(2:15)2017},
	doi       = {10.23638/LMCS-13(2:15)2017}
}





@article{DBLP:journals/corr/abs-1104-3489,
	author    = {Tom{\'{a}}s Br{\'{a}}zdil and
	V{\'{a}}clav Brozek and
	Krishnendu Chatterjee and
	Vojtech Forejt and
	Anton{\'{\i}}n Kucera},
	title     = {Two Views on Multiple Mean-Payoff Objectives in {M}arkov Decision Processes},
	journal   = {Log. Methods Comput. Sci.},
	volume    = {10},
	number    = {1},
	year      = {2014},
	xurl       = {https://doi.org/10.2168/LMCS-10(1:13)2014},
	doi       = {10.2168/LMCS-10(1:13)2014}
}




@article{DBLP:journals/fmsd/RandourRS17,
	author    = {Mickael Randour and
	Jean{-}Fran{\c{c}}ois Raskin and
	Ocan Sankur},
	title     = {Percentile queries in multi-dimensional {M}arkov decision processes},
	journal   = {Formal Methods Syst. Des.},
	volume    = {50},
	number    = {2-3},
	pages     = {207--248},
	year      = {2017},
	xurl       = {https://doi.org/10.1007/s10703-016-0262-7},
	doi       = {10.1007/s10703-016-0262-7}
}





@inproceedings{DBLP:conf/atva/BrenguierF16,
	author    = {Romain Brenguier and
	Vojtech Forejt},
	title     = {Decidability Results for Multi-objective Stochastic Games},
	booktitle = {{ATVA}},
	series    = {Lecture Notes in Computer Science},
	volume    = {9938},
	pages     = {227--243},
	year      = {2016},
	xurl       = {https://doi.org/10.1007/978-3-319-46520-3\_15},
	doi       = {10.1007/978-3-319-46520-3\_15}
}



@article{EKVY08,
	author    = {Kousha Etessami and
	Marta Z. Kwiatkowska and
	Moshe Y. Vardi and
	Mihalis Yannakakis},
	title     = {Multi-Objective Model Checking of {M}arkov Decision Processes},
	journal   = {Log. Methods Comput. Sci.},
	volume    = {4},
	number    = {4},
	year      = {2008},
	xurl       = {https://doi.org/10.2168/LMCS-4(4:8)2008},
	doi       = {10.2168/LMCS-4(4:8)2008}
}


@inproceedings{DBLP:conf/sfm/ForejtKNP11,
	author    = {Vojtech Forejt and
	Marta Z. Kwiatkowska and
	Gethin Norman and
	David Parker},
	title     = {Automated Verification Techniques for Probabilistic Systems},
	booktitle = {{SFM}},
	series    = {Lecture Notes in Computer Science},
	volume    = {6659},
	pages     = {53--113},
	publisher = {Springer},
	year      = {2011},
	xurl       = {https://doi.org/10.1007/978-3-642-21455-4\_3},
	doi       = {10.1007/978-3-642-21455-4\_3}
}



@inproceedings{DBLP:conf/atva/ForejtKP12,
	author    = {Vojtech Forejt and
	Marta Z. Kwiatkowska and
	David Parker},
	title     = {Pareto Curves for Probabilistic Model Checking},
	booktitle = {{ATVA}},
	series    = {Lecture Notes in Computer Science},
	volume    = {7561},
	pages     = {317--332},
	publisher = {Springer},
	year      = {2012},
	xurl       = {https://doi.org/10.1007/978-3-642-33386-6\_25},
	doi       = {10.1007/978-3-642-33386-6\_25}
}



@inproceedings{CFK+13multi,
	author    = {Taolue Chen and
	Vojtech Forejt and
	Marta Z. Kwiatkowska and
	Aistis Simaitis and
	Clemens Wiltsche},
	title     = {On Stochastic Games with Multiple Objectives},
	booktitle = {{MFCS}},
	series    = {Lecture Notes in Computer Science},
	volume    = {8087},
	pages     = {266--277},
	publisher = {Springer},
	year      = {2013},
	xurl       = {https://doi.org/10.1007/978-3-642-40313-2\_25},
	doi       = {10.1007/978-3-642-40313-2\_25}
}



@inproceedings{DBLP:journals/corr/abs-2109-08317,
	author    = {Tobias Winkler and
	Maximilian Weininger},
	title     = {Stochastic Games with Disjunctions of Multiple Objectives},
	booktitle = {GandALF},
	series    = {{EPTCS}},
	volume    = {346},
	pages     = {83--100},
	year      = {2021},
	xurl       = {https://doi.org/10.4204/EPTCS.346.6},
	doi       = {10.4204/EPTCS.346.6}
}


@inproceedings{DBLP:conf/rp/LegayST16,
	author    = {Axel Legay and
	Sean Sedwards and
	Louis{-}Marie Traonouez},
	title     = {Rare Events for Statistical Model Checking an Overview},
	booktitle = {{RP}},
	series    = {Lecture Notes in Computer Science},
	volume    = {9899},
	pages     = {23--35},
	publisher = {Springer},
	year      = {2016},
	xurl       = {https://doi.org/10.1007/978-3-319-45994-3\_2},
	doi       = {10.1007/978-3-319-45994-3\_2}
}





@inproceedings{DBLP:journals/corr/abs-1212-3873,
	author    = {Hua Mao and
	Yingke Chen and
	Manfred Jaeger and
	Thomas D. Nielsen and
	Kim G. Larsen and
	Brian Nielsen},
	title     = {Learning {M}arkov Decision Processes for Model Checking},
	booktitle = {{QFM}},
	series    = {{EPTCS}},
	volume    = {103},
	pages     = {49--63},
	year      = {2012},
	xurl       = {https://doi.org/10.4204/EPTCS.103.6},
	doi       = {10.4204/EPTCS.103.6}
}



@article{DBLP:journals/sttt/WangSYP18,
	author    = {Jingyi Wang and
	Jun Sun and
	Qixia Yuan and
	Jun Pang},
	title     = {Learning probabilistic models for model checking: an evolutionary
	approach and an empirical study},
	journal   = {Int. J. Softw. Tools Technol. Transf.},
	volume    = {20},
	number    = {6},
	pages     = {689--704},
	year      = {2018},
	xurl       = {https://doi.org/10.1007/s10009-018-0492-7},
	doi       = {10.1007/s10009-018-0492-7}
}


@article{DBLP:journals/tse/WangSQJ21,
	author    = {Jingyi Wang and
	Jun Sun and
	Shengchao Qin and
	Cyrille J{\'{e}}gourel},
	title     = {Automatically `Verifying' Discrete-Time Complex Systems through Learning,
	Abstraction and Refinement},
	journal   = {{IEEE} Trans. Software Eng.},
	volume    = {47},
	number    = {1},
	pages     = {189--203},
	year      = {2021},
	xurl       = {https://doi.org/10.1109/TSE.2018.2886898},
	doi       = {10.1109/TSE.2018.2886898}
}




@inproceedings{DBLP:conf/aaai/AlshiekhBEKNT18,
	author    = {Mohammed Alshiekh and
	Roderick Bloem and
	R{\"{u}}diger Ehlers and
	Bettina K{\"{o}}nighofer and
	Scott Niekum and
	Ufuk Topcu},
	title     = {Safe Reinforcement Learning via Shielding},
	booktitle = {{AAAI}},
	pages     = {2669--2678},
	publisher = {{AAAI} Press},
	year      = {2018},
	url       = {https://ojs.aaai.org/index.php/AAAI/article/view/11797}
}



@inproceedings{DBLP:conf/uai/KretinskyMMP20,
	author    = {Jan Kret{\'{\i}}nsk{\'{y}} and
	Fabian Michel and
	Lukas Michel and
	Guillermo A. P{\'{e}}rez},
	title     = {Finite-Memory Near-Optimal Learning for {M}arkov Decision Processes
	with Long-Run Average Reward},
	booktitle = {{UAI}},
	series    = {Proceedings of Machine Learning Research},
	volume    = {124},
	pages     = {1149--1158},
	publisher = {{AUAI} Press},
	year      = {2020},
	url       = {http://proceedings.mlr.press/v124/kretinsky20a.html}
}


@inproceedings{DBLP:conf/concur/KretinskyPR18,
	author    = {Jan Kret{\'{\i}}nsk{\'{y}} and
	Guillermo A. P{\'{e}}rez and
	Jean{-}Fran{\c{c}}ois Raskin},
	title     = {Learning-Based Mean-Payoff Optimization in an Unknown {MDP} under
	Omega-Regular Constraints},
	booktitle = {{CONCUR}},
	series    = {LIPIcs},
	volume    = {118},
	pages     = {8:1--8:18},
	publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
	year      = {2018},
	xurl       = {https://doi.org/10.4230/LIPIcs.CONCUR.2018.8},
	doi       = {10.4230/LIPIcs.CONCUR.2018.8}
}



@article{DBLP:journals/corr/abs-2205-15827,
	author    = {Marnix Suilen and
	Thiago D. Sim{\~{a}}o and
	Nils Jansen and
	David Parker},
	title     = {Robust Anytime Learning of {M}arkov Decision Processes},
	journal   = {CoRR},
	volume    = {abs/2205.15827},
	year      = {2022},
	xurl       = {https://doi.org/10.48550/arXiv.2205.15827},
	doi       = {10.48550/arXiv.2205.15827}
}



@inproceedings{DBLP:conf/concur/EsparzaKKW21,
	author    = {Javier Esparza and
	Stefan Kiefer and
	Jan Kret{\'{\i}}nsk{\'{y}} and
	Maximilian Weininger},
	title     = {Enforcing {\(\omega\)}-Regular Properties in {M}arkov Chains by Restarting},
	booktitle = {{CONCUR}},
	series    = {LIPIcs},
	volume    = {203},
	pages     = {5:1--5:22},
	publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
	year      = {2021},
	xurl       = {https://doi.org/10.4230/LIPIcs.CONCUR.2021.5},
	doi       = {10.4230/LIPIcs.CONCUR.2021.5}
}



@inproceedings{DBLP:conf/aaai/RigterLH21,
	author    = {Marc Rigter and
	Bruno Lacerda and
	Nick Hawes},
	title     = {Minimax Regret Optimisation for Robust Planning in Uncertain {M}arkov
	Decision Processes},
	booktitle = {{AAAI}},
	pages     = {11930--11938},
	publisher = {{AAAI} Press},
	year      = {2021},
	url       = {https://ojs.aaai.org/index.php/AAAI/article/view/17417}
}


@inproceedings{DBLP:conf/confcds/Fang21,
	author    = {Zehua Fang},
	title     = {Robust Control of {M}arkov Decision Processes},
	booktitle = {{CONF-CDS}},
	pages     = {204:1--204:9},
	publisher = {{ACM}},
	year      = {2021},
	xurl       = {https://doi.org/10.1145/3448734.3450934},
	doi       = {10.1145/3448734.3450934}
}




@inproceedings{DBLP:conf/icml/McMahanLG05,
	author    = {H. Brendan McMahan and
	Maxim Likhachev and
	Geoffrey J. Gordon},
	title     = {Bounded real-time dynamic programming: {RTDP} with monotone upper
	bounds and performance guarantees},
	booktitle = {{ICML}},
	series    = {{ACM} International Conference Proceeding Series},
	volume    = {119},
	pages     = {569--576},
	publisher = {{ACM}},
	year      = {2005},
	xurl       = {https://doi.org/10.1145/1102351.1102423},
	doi       = {10.1145/1102351.1102423}
}


@article{DBLP:journals/jacm/ChatterjeeH14,
	author    = {Krishnendu Chatterjee and
	Monika Henzinger},
	title     = {Efficient and Dynamic Algorithms for Alternating B{\"{u}}chi
	Games and Maximal End-Component Decomposition},
	journal   = {J. {ACM}},
	volume    = {61},
	number    = {3},
	pages     = {15:1--15:40},
	year      = {2014},
	xurl       = {https://doi.org/10.1145/2597631},
	doi       = {10.1145/2597631}
}



@article{DBLP:journals/jacm/CourcoubetisY95,
	author    = {Costas Courcoubetis and
	Mihalis Yannakakis},
	title     = {The Complexity of Probabilistic Verification},
	journal   = {J. {ACM}},
	volume    = {42},
	number    = {4},
	pages     = {857--907},
	year      = {1995},
	xurl       = {https://doi.org/10.1145/210332.210339},
	doi       = {10.1145/210332.210339}
}


@phdthesis{chatterjee2007stochastic,
	title={Stochastic $\omega$-regular games},
	author={Chatterjee, Krishnendu},
	year={2007},
	school={University of California, Berkeley},
	url={https://digitalassets.lib.berkeley.edu/techreports/ucb/text/EECS-2007-122.pdf}
}

@phdthesis{de1998formal,
	title={Formal verification of probabilistic systems},
	author={De Alfaro, Luca},
	year={1998},
	school={Stanford university},
	url={https://exhibits.stanford.edu/cs/catalog/xz681dy7227}
}

@article{DBLP:journals/siamcomp/Tarjan72,
	author    = {Robert Endre Tarjan},
	title     = {Depth-First Search and Linear Graph Algorithms},
	journal   = {{SIAM} J. Comput.},
	volume    = {1},
	number    = {2},
	pages     = {146--160},
	year      = {1972},
	xurl       = {https://doi.org/10.1137/0201010},
	doi       = {10.1137/0201010}
}




@book{howard1960dynamic,
	title={Dynamic programming and {M}arkov processes.},
	author={Howard, Ronald A},
	year={1960},
	publisher={John Wiley},
	url={https://www.semanticscholar.org/paper/Dynamic-Programming-and-Markov-Processes.-Ronald-A.-Weiss/89a2f75b8c5a13f897580f8c3f3c886998228708}
}

@misc{xkcd,
	title = {xkcd 2110},
	author = {Randall Munroe},
	howpublished = {\url{https://xkcd.com/2110/}},
	note = {Accessed: 29.05.2022},
	year = {2019}
}

@inproceedings{DBLP:conf/concur/ChatterjeeH06,
	author    = {Krishnendu Chatterjee and
	Thomas A. Henzinger},
	title     = {Strategy Improvement for Stochastic {R}abin and {S}treett Games},
	booktitle = {{CONCUR}},
	series    = {Lecture Notes in Computer Science},
	volume    = {4137},
	pages     = {375--389},
	publisher = {Springer},
	year      = {2006},
	xurl       = {https://doi.org/10.1007/11817949\_25},
	doi       = {10.1007/11817949\_25}
}



@inproceedings{DBLP:conf/lics/LarsenT88,
	author    = {Kim Guldstrand Larsen and
	Bent Thomsen},
	title     = {A Modal Process Logic},
	booktitle = {{LICS}},
	pages     = {203--210},
	publisher = {{IEEE} Computer Society},
	year      = {1988},
	xurl       = {https://doi.org/10.1109/LICS.1988.5119},
	doi       = {10.1109/LICS.1988.5119}
}



@inproceedings{DBLP:conf/birthday/Kretinsky17,
	author    = {Jan Kret{\'{\i}}nsk{\'{y}}},
	title     = {30 Years of Modal Transition Systems: Survey of Extensions and Analysis},
	booktitle = {Models, Algorithms, Logics and Tools},
	series    = {Lecture Notes in Computer Science},
	volume    = {10460},
	pages     = {36--74},
	publisher = {Springer},
	year      = {2017},
	xurl       = {https://doi.org/10.1007/978-3-319-63121-9\_3},
	doi       = {10.1007/978-3-319-63121-9\_3}
}



@article{DBLP:journals/ior/WhiteE94,
	author    = {{White III}, Chelsea C. and
	Hany K. Eldeib},
	title     = {{M}arkov Decision Processes with Imprecise Transition Probabilities},
	journal   = {Oper. Res.},
	volume    = {42},
	number    = {4},
	pages     = {739--749},
	year      = {1994},
	xurl       = {https://doi.org/10.1287/opre.42.4.739},
	doi       = {10.1287/opre.42.4.739}
}



@inproceedings{DBLP:conf/cdc/Kalyanasundaram02,
	author    = {Suresh Kalyanasundaram and
	Edwin K. P. Chong and
	Ness B. Shroff},
	title     = {{M}arkov decision processes with uncertain transition rates: sensitivity
	and robust control},
	booktitle = {{CDC}},
	pages     = {3799--3804},
	publisher = {{IEEE}},
	year      = {2002},
	xurl       = {https://doi.org/10.1109/CDC.2002.1184956},
	doi       = {10.1109/CDC.2002.1184956}
}


@article{DBLP:journals/ai/Walley96,
	author    = {Peter Walley},
	title     = {Measures of Uncertainty in Expert Systems},
	journal   = {Artif. Intell.},
	volume    = {83},
	number    = {1},
	pages     = {1--58},
	year      = {1996},
	xurl       = {https://doi.org/10.1016/0004-3702(95)00009-7},
	doi       = {10.1016/0004-3702(95)00009-7}
}




@article{DBLP:journals/tac/LahijanianAB15,
	author    = {Morteza Lahijanian and
	Sean B. Andersson and
	Calin Belta},
	title     = {Formal Verification and Synthesis for Discrete-Time Stochastic Systems},
	journal   = {{IEEE} Trans. Autom. Control.},
	volume    = {60},
	number    = {8},
	pages     = {2031--2045},
	year      = {2015},
	xurl       = {https://doi.org/10.1109/TAC.2015.2398883},
	doi       = {10.1109/TAC.2015.2398883}
}




@inproceedings{DBLP:conf/bracis/FussumaDB14,
	author    = {Fernando L. Fussuma and
	Karina Valdivia Delgado and
	Leliane Nunes de Barros},
	title     = {B{\^{}}2{RTDP}: An Efficient Solution for Bounded-Parameter {M}arkov Decision
	Process},
	booktitle = {{BRACIS}},
	pages     = {128--133},
	publisher = {{IEEE} Computer Society},
	year      = {2014},
	xurl       = {https://doi.org/10.1109/BRACIS.2014.33},
	doi       = {10.1109/BRACIS.2014.33}
}


@inproceedings{DBLP:conf/cav/PuggelliLSS13,
	author    = {Alberto Puggelli and
	Wenchao Li and
	Alberto L. Sangiovanni{-}Vincentelli and
	Sanjit A. Seshia},
	title     = {Polynomial-Time Verification of {PCTL} Properties of {MDP}s with Convex
	Uncertainties},
	booktitle = {{CAV}},
	series    = {Lecture Notes in Computer Science},
	volume    = {8044},
	pages     = {527--542},
	publisher = {Springer},
	year      = {2013},
	xurl       = {https://doi.org/10.1007/978-3-642-39799-8\_35},
	doi       = {10.1007/978-3-642-39799-8\_35}
}



@inproceedings{DBLP:conf/cdc/WolffTM12,
	author    = {Eric M. Wolff and
	Ufuk Topcu and
	Richard M. Murray},
	title     = {Robust control of uncertain {M}arkov Decision Processes with temporal
	logic specifications},
	booktitle = {{CDC}},
	pages     = {3372--3379},
	publisher = {{IEEE}},
	year      = {2012},
	xurl       = {https://doi.org/10.1109/CDC.2012.6426174},
	doi       = {10.1109/CDC.2012.6426174}
}




@article{DBLP:journals/ai/WuK08,
	author    = {Di Wu and
	Xenofon D. Koutsoukos},
	title     = {Reachability analysis of uncertain systems using bounded-parameter
	{M}arkov decision processes},
	journal   = {Artif. Intell.},
	volume    = {172},
	number    = {8-9},
	pages     = {945--954},
	year      = {2008},
	xurl       = {https://doi.org/10.1016/j.artint.2007.12.002},
	doi       = {10.1016/j.artint.2007.12.002}
}


@inproceedings{DBLP:conf/colt/TewariB07,
	author    = {Ambuj Tewari and
	Peter L. Bartlett},
	title     = {Bounded Parameter {M}arkov Decision Processes with Average Reward Criterion},
	booktitle = {{COLT}},
	series    = {Lecture Notes in Computer Science},
	volume    = {4539},
	pages     = {263--277},
	publisher = {Springer},
	year      = {2007},
	xurl       = {https://doi.org/10.1007/978-3-540-72927-3\_20},
	doi       = {10.1007/978-3-540-72927-3\_20}
}



@article{DBLP:journals/ior/NilimG05,
	author    = {Arnab Nilim and
	Laurent El {Ghaoui}},
	title     = {Robust Control of {M}arkov Decision Processes with Uncertain Transition
	Matrices},
	journal   = {Oper. Res.},
	volume    = {53},
	number    = {5},
	pages     = {780--798},
	year      = {2005},
	xurl       = {https://doi.org/10.1287/opre.1050.0216},
	doi       = {10.1287/opre.1050.0216}
}



@inproceedings{DBLP:conf/ictai/Buffet05,
	author    = {Olivier Buffet},
	title     = {Reachability Analysis for Uncertain {SSPs}},
	booktitle = {{ICTAI}},
	pages     = {515--522},
	publisher = {{IEEE} Computer Society},
	year      = {2005},
	xurl       = {https://doi.org/10.1109/ICTAI.2005.106},
	doi       = {10.1109/ICTAI.2005.106}
}




@article{DBLP:journals/ai/GivanLD00,
	author    = {Robert Givan and
	Sonia M. Leach and
	Thomas L. Dean},
	title     = {Bounded-parameter {M}arkov decision processes},
	journal   = {Artif. Intell.},
	volume    = {122},
	number    = {1-2},
	pages     = {71--109},
	year      = {2000},
	xurl       = {https://doi.org/10.1016/S0004-3702(00)00047-3},
	doi       = {10.1016/S0004-3702(00)00047-3}
}





@inproceedings{DBLP:conf/asmta/ChakrabortyK15,
	author    = {Souymodip Chakraborty and
	Joost{-}Pieter Katoen},
	title     = {Model Checking of Open Interval {M}arkov Chains},
	booktitle = {{ASMTA}},
	series    = {Lecture Notes in Computer Science},
	volume    = {9081},
	pages     = {30--42},
	publisher = {Springer},
	year      = {2015},
	xurl       = {https://doi.org/10.1007/978-3-319-18579-8\_3},
	doi       = {10.1007/978-3-319-18579-8\_3}
}



@inproceedings{DBLP:conf/cdc/DutreixC18,
	author    = {Maxence Dutreix and
	Samuel Coogan},
	title     = {Satisfiability Bounds for co-regular Properties in Interval-valued
	{M}arkov Chains},
	booktitle = {{CDC}},
	pages     = {1047--1052},
	publisher = {{IEEE}},
	year      = {2018},
	xurl       = {https://doi.org/10.1109/CDC.2018.8619756},
	doi       = {10.1109/CDC.2018.8619756}
}




@inproceedings{DBLP:conf/qest/BartDLMT17,
	author    = {Anicet Bart and
	Beno{\^{\i}}t Delahaye and
	Didier Lime and
	{\'{E}}ric Monfroy and
	Charlotte Truchet},
	title     = {Reachability in Parametric Interval {M}arkov Chains Using Constraints},
	booktitle = {{QEST}},
	series    = {Lecture Notes in Computer Science},
	volume    = {10503},
	pages     = {173--189},
	publisher = {Springer},
	year      = {2017},
	xurl       = {https://doi.org/10.1007/978-3-319-66335-7\_11},
	doi       = {10.1007/978-3-319-66335-7\_11}
}





@inproceedings{DBLP:conf/tacas/BenediktLW13,
	author    = {Michael Benedikt and
	Rastislav Lenhardt and
	James Worrell},
	title     = {{LTL} Model Checking of Interval {M}arkov Chains},
	booktitle = {{TACAS}},
	series    = {Lecture Notes in Computer Science},
	volume    = {7795},
	pages     = {32--46},
	publisher = {Springer},
	year      = {2013},
	xurl       = {https://doi.org/10.1007/978-3-642-36742-7\_3},
	doi       = {10.1007/978-3-642-36742-7\_3}
}


@inproceedings{DBLP:conf/fossacs/ChatterjeeSH08,
	author    = {Krishnendu Chatterjee and
	Koushik Sen and
	Thomas A. Henzinger},
	title     = {Model-Checking omega-Regular Properties of Interval {M}arkov Chains},
	booktitle = {FoSSaCS},
	series    = {Lecture Notes in Computer Science},
	volume    = {4962},
	pages     = {302--317},
	publisher = {Springer},
	year      = {2008},
	xurl       = {https://doi.org/10.1007/978-3-540-78499-9\_22},
	doi       = {10.1007/978-3-540-78499-9\_22}
}



@inproceedings{DBLP:conf/tacas/SenVA06,
	author    = {Koushik Sen and
	Mahesh Viswanathan and
	Gul Agha},
	title     = {Model-Checking {M}arkov Chains in the Presence of Uncertainties},
	booktitle = {{TACAS}},
	series    = {Lecture Notes in Computer Science},
	volume    = {3920},
	pages     = {394--410},
	publisher = {Springer},
	year      = {2006},
	xurl       = {https://doi.org/10.1007/11691372\_26},
	doi       = {10.1007/11691372\_26}
}



@article{DBLP:journals/rc/KozineU02,
	author    = {Igor Kozine and
	Lev V. Utkin},
	title     = {Interval-Valued Finite {M}arkov Chains},
	journal   = {Reliab. Comput.},
	volume    = {8},
	number    = {2},
	pages     = {97--113},
	year      = {2002},
	xurl       = {https://doi.org/10.1023/A:1014745904458},
	doi       = {10.1023/A:1014745904458}
}



@inproceedings{DBLP:conf/lics/JonssonL91,
	author    = {Bengt Jonsson and
	Kim Guldstrand Larsen},
	title     = {Specification and Refinement of Probabilistic Processes},
	booktitle = {{LICS}},
	pages     = {266--277},
	publisher = {{IEEE} Computer Society},
	year      = {1991},
	xurl       = {https://doi.org/10.1109/LICS.1991.151651},
	doi       = {10.1109/LICS.1991.151651}
}



@article{DBLP:journals/tcs/CaillaudDLLPW11,
	author    = {Beno{\^{\i}}t Caillaud and
	Beno{\^{\i}}t Delahaye and
	Kim G. Larsen and
	Axel Legay and
	Mikkel L. Pedersen and
	Andrzej Wasowski},
	title     = {Constraint {M}arkov Chains},
	journal   = {Theor. Comput. Sci.},
	volume    = {412},
	number    = {34},
	pages     = {4373--4404},
	year      = {2011},
	xurl       = {https://doi.org/10.1016/j.tcs.2011.05.010},
	doi       = {10.1016/j.tcs.2011.05.010}
}


@article{DBLP:journals/tomacs/HahnHHLT19,
	author    = {Ernst Moritz Hahn and
	Vahid Hashemi and
	Holger Hermanns and
	Morteza Lahijanian and
	Andrea Turrini},
	title     = {Interval {M}arkov Decision Processes with Multiple Objectives: From
	Robust Strategies to {P}areto Curves},
	journal   = {{ACM} Trans. Model. Comput. Simul.},
	volume    = {29},
	number    = {4},
	pages     = {27:1--27:31},
	year      = {2019},
	xurl       = {https://doi.org/10.1145/3309683},
	doi       = {10.1145/3309683}
}




@article{DBLP:journals/iiset/SteimleKD21,
	author    = {Lauren N. Steimle and
	David L. Kaufman and
	Brian T. Denton},
	title     = {Multi-model {M}arkov decision processes},
	journal   = {{IISE} Trans.},
	volume    = {53},
	number    = {10},
	pages     = {1124--1139},
	year      = {2021},
	xurl       = {https://doi.org/10.1080/24725854.2021.1895454},
	doi       = {10.1080/24725854.2021.1895454}
}



@inproceedings{DBLP:conf/fsttcs/RaskinS14,
	author    = {Jean{-}Fran{\c{c}}ois Raskin and
	Ocan Sankur},
	title     = {Multiple-Environment {M}arkov Decision Processes},
	booktitle = {{FSTTCS}},
	series    = {LIPIcs},
	volume    = {29},
	pages     = {531--543},
	publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
	year      = {2014},
	xurl       = {https://doi.org/10.4230/LIPIcs.FSTTCS.2014.531},
	doi       = {10.4230/LIPIcs.FSTTCS.2014.531}
}




@inproceedings{DBLP:conf/aips/ChatterjeeCK0R20,
	author    = {Krishnendu Chatterjee and
	Martin Chmel{\'{\i}}k and
	Deep Karkhanis and
	Petr Novotn{\'{y}} and
	Am{\'{e}}lie Royer},
	title     = {Multiple-Environment {M}arkov Decision Processes: Efficient Analysis
	and Applications},
	booktitle = {{ICAPS}},
	pages     = {48--56},
	publisher = {{AAAI} Press},
	year      = {2020},
	url       = {https://ojs.aaai.org/index.php/ICAPS/article/view/6644}
}


@incollection{DBLP:books/sp/12/Spaan12,
	author    = {Matthijs T. J. Spaan},
	title     = {Partially Observable Markov Decision Processes},
	booktitle = {Reinforcement Learning},
	series    = {Adaptation, Learning, and Optimization},
	volume    = {12},
	pages     = {387--414},
	publisher = {Springer},
	year      = {2012},
	xurl       = {https://doi.org/10.1007/978-3-642-27645-3\_12},
	doi       = {10.1007/978-3-642-27645-3\_12}
}



@article{DBLP:journals/jair/RoyGT05,
	author    = {Nicholas Roy and
	Geoffrey J. Gordon and
	Sebastian Thrun},
	title     = {Finding Approximate {POMDP} solutions Through Belief Compression},
	journal   = {J. Artif. Intell. Res.},
	volume    = {23},
	pages     = {1--40},
	year      = {2005},
	xurl       = {https://doi.org/10.1613/jair.1496},
	doi       = {10.1613/jair.1496}
}



@article{DBLP:journals/ai/MadaniHC03,
	author    = {Omid Madani and
	Steve Hanks and
	Anne Condon},
	title     = {On the undecidability of probabilistic planning and related stochastic
	optimization problems},
	journal   = {Artif. Intell.},
	volume    = {147},
	number    = {1-2},
	pages     = {5--34},
	year      = {2003},
	xurl       = {https://doi.org/10.1016/S0004-3702(02)00378-8},
	doi       = {10.1016/S0004-3702(02)00378-8}
}



@article{DBLP:journals/ai/KaelblingLC98,
	author    = {Leslie Pack Kaelbling and
	Michael L. Littman and
	Anthony R. Cassandra},
	title     = {Planning and Acting in Partially Observable Stochastic Domains},
	journal   = {Artif. Intell.},
	volume    = {101},
	number    = {1-2},
	pages     = {99--134},
	year      = {1998},
	xurl       = {https://doi.org/10.1016/S0004-3702(98)00023-X},
	doi       = {10.1016/S0004-3702(98)00023-X}
}



@article{aastrom1965optimal,
	title={Optimal control of {M}arkov processes with incomplete state information},
	author={{\AA}str{\"o}m, Karl Johan},
	journal={Journal of mathematical analysis and applications},
	volume={10},
	number={1},
	pages={174--205},
	year={1965},
	publisher={Academic Press},
	url={https://core.ac.uk/download/pdf/82498456.pdf}
}



@inproceedings{DBLP:conf/sigsoft/LlerenaBBSR18,
	author    = {Yamilet R. Serrano Llerena and
	Marcel B{\"{o}}hme and
	Marc Br{\"{u}}nink and
	Guoxin Su and
	David S. Rosenblum},
	title     = {Verifying the long-run behavior of probabilistic system models in
	the presence of uncertainty},
	booktitle = {{ESEC/SIGSOFT} {FSE}},
	pages     = {587--597},
	publisher = {{ACM}},
	year      = {2018},
	xurl       = {https://doi.org/10.1145/3236024.3236078},
	doi       = {10.1145/3236024.3236078}
}


@inproceedings{DBLP:journals/corr/abs-1709-02093,
	author    = {Lisa Hutschenreiter and
	Christel Baier and
	Joachim Klein},
	title     = {Parametric {M}arkov Chains: {PCTL} Complexity and Fraction-free {G}aussian
	Elimination},
	booktitle = {GandALF},
	series    = {{EPTCS}},
	volume    = {256},
	pages     = {16--30},
	year      = {2017},
	xurl       = {https://doi.org/10.4204/EPTCS.256.2},
	doi       = {10.4204/EPTCS.256.2}
}




@inproceedings{DBLP:conf/qest/0001HL19,
	author    = {Giovanni Bacci and
	Mikkel Hansen and
	Kim Guldstrand Larsen},
	title     = {Model Checking Constrained {M}arkov Reward Models with Uncertainties},
	booktitle = {{QEST}},
	series    = {Lecture Notes in Computer Science},
	volume    = {11785},
	pages     = {37--51},
	publisher = {Springer},
	year      = {2019},
	xurl       = {https://doi.org/10.1007/978-3-030-30281-8\_3},
	doi       = {10.1007/978-3-030-30281-8\_3}
}


@inproceedings{DBLP:conf/atva/GainerHS18,
	author    = {Paul Gainer and
	Ernst Moritz Hahn and
	Sven Schewe},
	title     = {Accelerated Model Checking of Parametric {M}arkov Chains},
	booktitle = {{ATVA}},
	series    = {Lecture Notes in Computer Science},
	volume    = {11138},
	pages     = {300--316},
	publisher = {Springer},
	year      = {2018},
	xurl       = {https://doi.org/10.1007/978-3-030-01090-4\_18},
	doi       = {10.1007/978-3-030-01090-4\_18}
}



@article{DBLP:journals/mor/WiesemannKR13,
	author    = {Wolfram Wiesemann and
	Daniel Kuhn and
	Ber{\c{c}} Rustem},
	title     = {Robust {M}arkov Decision Processes},
	journal   = {Math. Oper. Res.},
	volume    = {38},
	number    = {1},
	pages     = {153--183},
	year      = {2013},
	xurl       = {https://doi.org/10.1287/moor.1120.0566},
	doi       = {10.1287/moor.1120.0566}
}




@phdthesis{DBLP:phd/dnb/Junges20,
	author    = {Sebastian Junges},
	title     = {Parameter synthesis in {M}arkov models},
	school    = {{RWTH} Aachen University, Germany},
	year      = {2020},
	url       = {https://publications.rwth-aachen.de/record/783179}
}



@inproceedings{DBLP:conf/tacas/Cubuktepe0JKT20,
	author    = {Murat Cubuktepe and
	Nils Jansen and
	Sebastian Junges and
	Joost{-}Pieter Katoen and
	Ufuk Topcu},
	title     = {Scenario-Based Verification of Uncertain {MDP}s},
	booktitle = {{TACAS} {(1)}},
	series    = {Lecture Notes in Computer Science},
	volume    = {12078},
	pages     = {287--305},
	publisher = {Springer},
	year      = {2020},
	xurl       = {https://doi.org/10.1007/978-3-030-45190-5\_16},
	doi       = {10.1007/978-3-030-45190-5\_16}
}



@inproceedings{DBLP:conf/cmsb/MolyneuxA20,
	author    = {Gareth W. Molyneux and
	Alessandro Abate},
	title     = {{ABC}({SMC})\({}^{\mbox{2}}\): Simultaneous Inference and Model Checking
	of Chemical Reaction Networks},
	booktitle = {{CMSB}},
	series    = {Lecture Notes in Computer Science},
	volume    = {12314},
	pages     = {255--279},
	publisher = {Springer},
	year      = {2020},
	xurl       = {https://doi.org/10.1007/978-3-030-60327-4\_14},
	doi       = {10.1007/978-3-030-60327-4\_14}
}



@inproceedings{DBLP:conf/tacas/BortolussiS18,
	author    = {Luca Bortolussi and
	Simone Silvetti},
	title     = {Bayesian Statistical Parameter Synthesis for Linear Temporal Properties
	of Stochastic Models},
	booktitle = {{TACAS} {(2)}},
	series    = {Lecture Notes in Computer Science},
	volume    = {10806},
	pages     = {396--413},
	publisher = {Springer},
	year      = {2018},
	xurl       = {https://doi.org/10.1007/978-3-319-89963-3\_23},
	doi       = {10.1007/978-3-319-89963-3\_23}
}



@inproceedings{DBLP:conf/amcc/HaesaertHA15,
	author    = {Sofie Haesaert and
	Paul M. J. Van den Hof and
	Alessandro Abate},
	title     = {Data-driven property verification of grey-box systems by {B}ayesian
	experiment design},
	booktitle = {{ACC}},
	pages     = {1800--1805},
	publisher = {{IEEE}},
	year      = {2015},
	xurl       = {https://doi.org/10.1109/ACC.2015.7170994},
	doi       = {10.1109/ACC.2015.7170994}
}



@inproceedings{DBLP:conf/ictac/Daws04,
	author    = {Conrado Daws},
	title     = {Symbolic and Parametric Model Checking of Discrete-Time {M}arkov Chains},
	booktitle = {{ICTAC}},
	series    = {Lecture Notes in Computer Science},
	volume    = {3407},
	pages     = {280--294},
	publisher = {Springer},
	year      = {2004},
	xurl       = {https://doi.org/10.1007/978-3-540-31862-0\_21},
	doi       = {10.1007/978-3-540-31862-0\_21}
}



@article{DBLP:journals/acta/CeskaDPKB17,
	author    = {Milan Ceska and
	Frits Dannenberg and
	Nicola Paoletti and
	Marta Kwiatkowska and
	Lubos Brim},
	title     = {Precise parameter synthesis for stochastic biochemical systems},
	journal   = {Acta Informatica},
	volume    = {54},
	number    = {6},
	pages     = {589--623},
	year      = {2017},
	xurl       = {https://doi.org/10.1007/s00236-016-0265-2},
	doi       = {10.1007/s00236-016-0265-2}
}



@inproceedings{DBLP:conf/rp/Chonev19,
	author    = {Ventsislav Chonev},
	title     = {Reachability in Augmented Interval {M}arkov Chains},
	booktitle = {{RP}},
	series    = {Lecture Notes in Computer Science},
	volume    = {11674},
	pages     = {79--92},
	publisher = {Springer},
	year      = {2019},
	xurl       = {https://doi.org/10.1007/978-3-030-30806-3\_7},
	doi       = {10.1007/978-3-030-30806-3\_7}
}



@inproceedings{DBLP:conf/cav/DehnertJJCVBKA15,
	author    = {Christian Dehnert and
	Sebastian Junges and
	Nils Jansen and
	Florian Corzilius and
	Matthias Volk and
	Harold Bruintjes and
	Joost{-}Pieter Katoen and
	Erika {\'{A}}brah{\'{a}}m},
	title     = {PROPhESY: {A} PRObabilistic ParamEter SYnthesis Tool},
	booktitle = {{CAV} {(1)}},
	series    = {Lecture Notes in Computer Science},
	volume    = {9206},
	pages     = {214--231},
	publisher = {Springer},
	year      = {2015},
	xurl       = {https://doi.org/10.1007/978-3-319-21690-4\_13},
	doi       = {10.1007/978-3-319-21690-4\_13}
}


@article{DBLP:journals/jcss/JungesKGW21,
	author    = {Sebastian Junges and
	Joost{-}Pieter Katoen and
	Guillermo A. P{\'{e}}rez and
	Tobias Winkler},
	title     = {The complexity of reachability in parametric {M}arkov decision processes},
	journal   = {J. Comput. Syst. Sci.},
	volume    = {119},
	pages     = {183--210},
	year      = {2021},
	xurl       = {https://doi.org/10.1016/j.jcss.2021.02.006},
	doi       = {10.1016/j.jcss.2021.02.006}
}



@inproceedings{DBLP:conf/rtss/HanKM08,
	author    = {Tingting Han and
	Joost{-}Pieter Katoen and
	Alexandru Mereacre},
	title     = {Approximate Parameter Synthesis for Probabilistic Time-Bounded Reachability},
	booktitle = {{RTSS}},
	pages     = {173--182},
	publisher = {{IEEE} Computer Society},
	year      = {2008},
	xurl       = {https://doi.org/10.1109/RTSS.2008.19},
	doi       = {10.1109/RTSS.2008.19}
}




@techreport{silver1963markovian,
	title={{M}arkovian decision processes with uncertain transition probabilities or rewards},
	author={Silver, Edward A},
	year={1963},
	institution={Massachusetts inst of tech cambridge operations research center},
	url={https://apps.dtic.mil/sti/citations/AD0417150}
}

@article{DBLP:journals/ior/SatiaL73,
	author    = {Jay K. Satia and
	Roy E. Lave Jr.},
	title     = {{M}arkovian Decision Processes with Uncertain Transition Probabilities},
	journal   = {Oper. Res.},
	volume    = {21},
	number    = {3},
	pages     = {728--740},
	year      = {1973},
	xurl       = {https://doi.org/10.1287/opre.21.3.728},
	doi       = {10.1287/opre.21.3.728}
}




@article{DBLP:journals/dagstuhl-reports/JansenKKK18,
	author    = {Nils Jansen and
	Joost{-}Pieter Katoen and
	Pushmeet Kohli and
	Jan Kret{\'{\i}}nsk{\'{y}}},
	title     = {Machine Learning and Model Checking Join Forces ({D}agstuhl Seminar
	18121)},
	journal   = {Dagstuhl Reports},
	volume    = {8},
	number    = {3},
	pages     = {74--93},
	year      = {2018},
	xurl       = {https://doi.org/10.4230/DagRep.8.3.74},
	doi       = {10.4230/DagRep.8.3.74}
}



@article{DBLP:journals/tomacs/AghaP18,
	author    = {Gul Agha and
	Karl Palmskog},
	title     = {A Survey of Statistical Model Checking},
	journal   = {{ACM} Trans. Model. Comput. Simul.},
	volume    = {28},
	number    = {1},
	pages     = {6:1--6:39},
	year      = {2018},
	xurl       = {https://doi.org/10.1145/3158668},
	doi       = {10.1145/3158668}
}



@inproceedings{DBLP:conf/isola/LarsenL20,
	author    = {Kim G. Larsen and
	Axel Legay},
	title     = {30 Years of Statistical Model Checking},
	booktitle = {ISoLA {(1)}},
	series    = {Lecture Notes in Computer Science},
	volume    = {12476},
	pages     = {325--330},
	publisher = {Springer},
	year      = {2020},
	xurl       = {https://doi.org/10.1007/978-3-030-61362-4\_18},
	doi       = {10.1007/978-3-030-61362-4\_18}
}


@inproceedings{DBLP:conf/isola/LarsenL14,
	author    = {Kim Guldstrand Larsen and
	Axel Legay},
	title     = {Statistical Model Checking Past, Present, and Future - (Track Introduction)},
	booktitle = {ISoLA {(2)}},
	series    = {Lecture Notes in Computer Science},
	volume    = {8803},
	pages     = {135--142},
	publisher = {Springer},
	year      = {2014},
	xurl       = {https://doi.org/10.1007/978-3-662-45231-8\_10},
	doi       = {10.1007/978-3-662-45231-8\_10}
}




@inproceedings{DBLP:conf/isola/AshokBKS18,
	author    = {Pranav Ashok and
	Tom{\'{a}}s Br{\'{a}}zdil and
	Jan Kret{\'{\i}}nsk{\'{y}} and
	Ondrej Sl{\'{a}}mecka},
	title     = {Monte Carlo Tree Search for Verifying Reachability in {M}arkov Decision
	Processes},
	booktitle = {ISoLA {(2)}},
	series    = {Lecture Notes in Computer Science},
	volume    = {11245},
	pages     = {322--335},
	publisher = {Springer},
	year      = {2018},
	xurl       = {https://doi.org/10.1007/978-3-030-03421-4\_21},
	doi       = {10.1007/978-3-030-03421-4\_21}
}



@inproceedings{DBLP:conf/atal/HasanbeigAK20,
	author    = {Mohammadhosein Hasanbeig and
	Alessandro Abate and
	Daniel Kroening},
	title     = {Cautious Reinforcement Learning with Logical Constraints},
	booktitle = {{AAMAS}},
	pages     = {483--491},
	publisher = {International Foundation for Autonomous Agents and Multiagent Systems},
	year      = {2020},
	url       = {https://dl.acm.org/doi/abs/10.5555/3398761.3398821}
}




@phdthesis{DBLP:phd/ethos/Hasanbeig20,
	author    = {Mohammadhosein Hasanbeig},
	title     = {Safe and certified reinforcement learning with logical constraints},
	school    = {University of Oxford, {UK}},
	year      = {2020},
	url       = {https://ora.ox.ac.uk/objects/uuid:b3270e19-8ae7-4c0f-b728-c2e4f1fab6f5}
}


@inproceedings{DBLP:conf/aiia/HasanbeigKA19,
	author    = {Mohammadhosein Hasanbeig and
	Daniel Kroening and
	Alessandro Abate},
	title     = {Towards Verifiable and Safe Model-Free Reinforcement Learning},
	booktitle = {OVERLAY@AI*IA},
	series    = {{CEUR} Workshop Proceedings},
	volume    = {2509},
	pages     = {1},
	publisher = {CEUR-WS.org},
	year      = {2019},
	url       = {http://ceur-ws.org/Vol-2509/invited.pdf}
}




@inproceedings{DBLP:conf/rv/LegayDB10,
	author    = {Axel Legay and
	Beno{\^{\i}}t Delahaye and
	Saddek Bensalem},
	title     = {Statistical Model Checking: An Overview},
	booktitle = {{RV}},
	series    = {Lecture Notes in Computer Science},
	volume    = {6418},
	pages     = {122--135},
	publisher = {Springer},
	year      = {2010},
	xurl       = {https://doi.org/10.1007/978-3-642-16612-9\_11},
	doi       = {10.1007/978-3-642-16612-9\_11}
}



@inproceedings{DBLP:conf/formats/DavidLLMPVW11,
	author    = {Alexandre David and
	Kim G. Larsen and
	Axel Legay and
	Marius Mikucionis and
	Danny B{\o}gsted Poulsen and
	Jonas van Vliet and
	Zheng Wang},
	title     = {Statistical Model Checking for Networks of Priced Timed Automata},
	booktitle = {{FORMATS}},
	series    = {Lecture Notes in Computer Science},
	volume    = {6919},
	pages     = {80--96},
	publisher = {Springer},
	year      = {2011},
	xurl       = {https://doi.org/10.1007/978-3-642-24310-3\_7},
	doi       = {10.1007/978-3-642-24310-3\_7}
}



@inproceedings{DBLP:conf/cav/DavidLLMW11,
	author    = {Alexandre David and
	Kim G. Larsen and
	Axel Legay and
	Marius Mikucionis and
	Zheng Wang},
	title     = {Time for Statistical Model Checking of Real-Time Systems},
	booktitle = {{CAV}},
	series    = {Lecture Notes in Computer Science},
	volume    = {6806},
	pages     = {349--355},
	publisher = {Springer},
	year      = {2011},
	xurl       = {https://doi.org/10.1007/978-3-642-22110-1\_27},
	doi       = {10.1007/978-3-642-22110-1\_27}
}



@inproceedings{DBLP:conf/ifm/Larsen13,
	author    = {Kim Guldstrand Larsen},
	title     = {Priced Timed Automata and Statistical Model Checking},
	booktitle = {{IFM}},
	series    = {Lecture Notes in Computer Science},
	volume    = {7940},
	pages     = {154--161},
	publisher = {Springer},
	year      = {2013},
	xurl       = {https://doi.org/10.1007/978-3-642-38613-8\_11},
	doi       = {10.1007/978-3-642-38613-8\_11}
}




@inproceedings{DBLP:conf/sefm/LegayST14,
	author    = {Axel Legay and
	Sean Sedwards and
	Louis{-}Marie Traonouez},
	title     = {Scalable Verification of {M}arkov Decision Processes},
	booktitle = {{SEFM} Workshops},
	series    = {Lecture Notes in Computer Science},
	volume    = {8938},
	pages     = {350--362},
	publisher = {Springer},
	year      = {2014},
	xurl       = {https://doi.org/10.1007/978-3-319-15201-1\_23},
	doi       = {10.1007/978-3-319-15201-1\_23}
}



@article{DBLP:journals/sttt/DArgenioLST15,
	author    = {Pedro R. D'Argenio and
	Axel Legay and
	Sean Sedwards and
	Louis{-}Marie Traonouez},
	title     = {Smart sampling for lightweight verification of {M}arkov decision processes},
	journal   = {Int. J. Softw. Tools Technol. Transf.},
	volume    = {17},
	number    = {4},
	pages     = {469--484},
	year      = {2015},
	xurl       = {https://doi.org/10.1007/s10009-015-0383-0},
	doi       = {10.1007/s10009-015-0383-0}
}



@inproceedings{DBLP:conf/isola/DArgenioHS18,
	author    = {Pedro R. D'Argenio and
	Arnd Hartmanns and
	Sean Sedwards},
	title     = {Lightweight Statistical Model Checking in Nondeterministic Continuous
	Time},
	booktitle = {ISoLA {(2)}},
	series    = {Lecture Notes in Computer Science},
	volume    = {11245},
	pages     = {336--353},
	publisher = {Springer},
	year      = {2018},
	xurl       = {https://doi.org/10.1007/978-3-030-03421-4\_22},
	doi       = {10.1007/978-3-030-03421-4\_22}
}




@inproceedings{DBLP:conf/tacas/HahnPSSTW19,
	author    = {Ernst Moritz Hahn and
	Mateo Perez and
	Sven Schewe and
	Fabio Somenzi and
	Ashutosh Trivedi and
	Dominik Wojtczak},
	title     = {Omega-Regular Objectives in Model-Free Reinforcement Learning},
	booktitle = {{TACAS} {(1)}},
	series    = {Lecture Notes in Computer Science},
	volume    = {11427},
	pages     = {395--412},
	publisher = {Springer},
	year      = {2019},
	xurl       = {https://doi.org/10.1007/978-3-030-17462-0\_27},
	doi       = {10.1007/978-3-030-17462-0\_27}
}




@inproceedings{DBLP:conf/cdc/SadighKCSS14,
	author    = {Dorsa Sadigh and
	Eric S. Kim and
	Samuel Coogan and
	S. Shankar Sastry and
	Sanjit A. Seshia},
	title     = {A learning based approach to control synthesis of {M}arkov decision
	processes for linear temporal logic specifications},
	booktitle = {{CDC}},
	pages     = {1091--1096},
	publisher = {{IEEE}},
	year      = {2014},
	xurl       = {https://doi.org/10.1109/CDC.2014.7039527},
	doi       = {10.1109/CDC.2014.7039527}
}



@article{DBLP:journals/corr/abs-1801-08099,
	author    = {Mohammadhosein Hasanbeig and
	Alessandro Abate and
	Daniel Kroening},
	title     = {Logically-Correct Reinforcement Learning},
	journal   = {CoRR},
	volume    = {abs/1801.08099},
	year      = {2018},
	url       = {http://arxiv.org/abs/1801.08099},
	eprinttype = {arXiv},
	eprint    = {1801.08099}
}



@article{DBLP:journals/corr/abs-1902-00778,
	author    = {Mohammadhosein Hasanbeig and
	Alessandro Abate and
	Daniel Kroening},
	title     = {Certified Reinforcement Learning with Logic Guidance},
	journal   = {CoRR},
	volume    = {abs/1902.00778},
	year      = {2019},
	url       = {http://arxiv.org/abs/1902.00778},
	eprinttype = {arXiv},
	eprint    = {1902.00778}
}




@article{DBLP:journals/mor/LakshmivarahanN81,
	author    = {S. Lakshmivarahan and
	Kumpati S. Narendra},
	title     = {Learning Algorithms for Two-Person Zero-Sum Stochastic Games with
	Incomplete Information},
	journal   = {Math. Oper. Res.},
	volume    = {6},
	number    = {3},
	pages     = {379--386},
	year      = {1981},
	xurl       = {https://doi.org/10.1287/moor.6.3.379},
	doi       = {10.1287/moor.6.3.379}
}



@inproceedings{DBLP:conf/icml/Littman94,
	author    = {Michael L. Littman},
	title     = {{M}arkov Games as a Framework for Multi-Agent Reinforcement Learning},
	booktitle = {{ICML}},
	pages     = {157--163},
	publisher = {Morgan Kaufmann},
	year      = {1994},
	xurl       = {https://doi.org/10.1016/b978-1-55860-335-6.50027-1},
	doi       = {10.1016/b978-1-55860-335-6.50027-1}
}





@article{DBLP:journals/ai/BrafmanT00,
	author    = {Ronen I. Brafman and
	Moshe Tennenholtz},
	title     = {A near-optimal polynomial time algorithm for learning in certain classes
	of stochastic games},
	journal   = {Artif. Intell.},
	volume    = {121},
	number    = {1-2},
	pages     = {31--47},
	year      = {2000},
	xurl       = {https://doi.org/10.1016/S0004-3702(00)00039-4},
	doi       = {10.1016/S0004-3702(00)00039-4}
}




@book{sutton1998introduction,
title={Reinforcement learning: An introduction},
author={Sutton, Richard S and Barto, Andrew G},
year={2018},
publisher={MIT press},
url={https://mitpress.mit.edu/books/reinforcement-learning-second-edition}
}


@inproceedings{pnueli1977temporal,
	title={The temporal logic of programs},
	author={Pnueli, Amir},
	booktitle={18th Annual Symposium on Foundations of Computer Science (sfcs 1977)},
	pages={46--57},
	year={1977},
	organization={ieee},
	doi={10.1109/SFCS.1977.32}
}




@inproceedings{LP12,
	author    = {Richard Lassaigne and
	Sylvain Peyronnet},
	title     = {Approximate planning and verification for large {M}arkov decision processes},
	booktitle = {{SAC}},
	pages     = {1314--1319},
	publisher = {{ACM}},
	year      = {2012},
	xurl       = {https://doi.org/10.1145/2245276.2231984},
	doi       = {10.1145/2245276.2231984}
}

@inproceedings{vmcai04,
	author    = {Thomas H{\'{e}}rault and
	Richard Lassaigne and
	Fr{\'{e}}d{\'{e}}ric Magniette and
	Sylvain Peyronnet},
	title     = {Approximate Probabilistic Model Checking},
	booktitle = {{VMCAI}},
	pages     = {73--84},
	year      = {2004},
	xurl       = {http://dx.doi.org/10.1007/978-3-540-24622-0_8},
	doi       = {10.1007/978-3-540-24622-0_8},
	timestamp = {Wed, 06 Jul 2011 21:21:03 +0200},
	biburl    = {http://dblp.uni-trier.de/rec/bib/conf/vmcai/HeraultLMP04},
	bibsource = {dblp computer science bibliography, http://dblp.org}
}

@inproceedings{DBLP:conf/qest/HenriquesMZPC12,
	author    = {David Henriques and
	Jo{\~{a}}o G. Martins and
	Paolo Zuliani and
	Andr{\'{e}} Platzer and
	Edmund M. Clarke},
	title     = {Statistical Model Checking for {M}arkov Decision Processes},
	booktitle = {{QEST}},
	pages     = {84--93},
	publisher = {{IEEE} Computer Society},
	year      = {2012},
	xurl       = {https://doi.org/10.1109/QEST.2012.19},
	doi       = {10.1109/QEST.2012.19}
}



@inproceedings{DBLP:conf/kbse/HeJBGW10,
	author    = {Ru He and
	Paul Jennings and
	Samik Basu and
	Arka P. Ghosh and
	Huaiqing Wu},
	title     = {A bounded statistical approach for model checking of unbounded until
	properties},
	booktitle = {{ASE}},
	pages     = {225--234},
	publisher = {{ACM}},
	year      = {2010},
	xurl       = {https://doi.org/10.1145/1858996.1859043},
	doi       = {10.1145/1858996.1859043}
}



@inproceedings{DBLP:conf/sbmf/YounesCZ10,
	author    = {H{\aa}kan L. S. Younes and
	Edmund M. Clarke and
	Paolo Zuliani},
	title     = {Statistical Verification of Probabilistic Properties with Unbounded Until},
	booktitle = {{SBMF}},
	series    = {Lecture Notes in Computer Science},
	volume    = {6527},
	pages     = {144--160},
	publisher = {Springer},
	year      = {2010},
	xurl       = {https://doi.org/10.1007/978-3-642-19829-8\_10},
	doi       = {10.1007/978-3-642-19829-8\_10}
}


@article{DBLP:journals/apal/LassaigneP08,
	author    = {Richard Lassaigne and
	Sylvain Peyronnet},
	title     = {Probabilistic verification and approximation},
	journal   = {Ann. Pure Appl. Log.},
	volume    = {152},
	number    = {1-3},
	pages     = {122--131},
	year      = {2008},
	xurl       = {https://doi.org/10.1016/j.apal.2007.11.006},
	doi       = {10.1016/j.apal.2007.11.006}
}



@inproceedings{DBLP:conf/isola/Kretinsky16,
	author    = {Jan Kret{\'{\i}}nsk{\'{y}}},
	title     = {Survey of Statistical Verification of Linear Unbounded Properties:
	Model Checking and Distances},
	booktitle = {ISoLA {(1)}},
	series    = {Lecture Notes in Computer Science},
	volume    = {9952},
	pages     = {27--45},
	year      = {2016},
	xurl       = {https://doi.org/10.1007/978-3-319-47166-2\_3},
	doi       = {10.1007/978-3-319-47166-2\_3}
}




@inproceedings{DBLP:conf/rss/FuT14,
	author    = {Jie Fu and
	Ufuk Topcu},
	title     = {Probably Approximately Correct {MDP} Learning and Control With Temporal
	Logic Constraints},
	booktitle = {Robotics: Science and Systems},
	year      = {2014},
	url       = {http://www.roboticsproceedings.org/rss10/p39.html},
	doi       = {10.15607/RSS.2014.X.039}
}



@article{DBLP:journals/sttt/YounesKNP06,
	author    = {H{\aa}kan L. S. Younes and
	Marta Z. Kwiatkowska and
	Gethin Norman and
	David Parker},
	title     = {Numerical vs. statistical probabilistic model checking},
	journal   = {Int. J. Softw. Tools Technol. Transf.},
	volume    = {8},
	number    = {3},
	pages     = {216--228},
	year      = {2006},
	xurl       = {https://doi.org/10.1007/s10009-005-0187-8},
	doi       = {10.1007/s10009-005-0187-8}
}



@inproceedings{DBLP:conf/forte/BogdollFHH11,
	author    = {Jonathan Bogdoll and
	Luis Mar{\'{\i}}a Ferrer Fioriti and
	Arnd Hartmanns and
	Holger Hermanns},
	title     = {Partial Order Methods for Statistical Model Checking and Simulation},
	booktitle = {{FMOODS/FORTE}},
	series    = {Lecture Notes in Computer Science},
	volume    = {6722},
	pages     = {59--74},
	publisher = {Springer},
	year      = {2011},
	xurl       = {https://doi.org/10.1007/978-3-642-21461-5\_4},
	doi       = {10.1007/978-3-642-21461-5\_4}
}



@inproceedings{DBLP:conf/mmb/BogdollHH12,
	author    = {Jonathan Bogdoll and
	Arnd Hartmanns and
	Holger Hermanns},
	title     = {Simulation and Statistical Model Checking for Modestly Nondeterministic
	Models},
	booktitle = {{MMB/DFT}},
	series    = {Lecture Notes in Computer Science},
	volume    = {7201},
	pages     = {249--252},
	publisher = {Springer},
	year      = {2012},
	xurl       = {https://doi.org/10.1007/978-3-642-28540-0\_20},
	doi       = {10.1007/978-3-642-28540-0\_20}
}




@inproceedings{DBLP:conf/cav/BazilleGJS20,
	author    = {Hugo Bazille and
	Blaise Genest and
	Cyrille J{\'{e}}gourel and
	Jun Sun},
	title     = {Global {PAC} Bounds for Learning Discrete Time {M}arkov Chains},
	booktitle = {{CAV} {(2)}},
	series    = {Lecture Notes in Computer Science},
	volume    = {12225},
	pages     = {304--326},
	publisher = {Springer},
	year      = {2020},
	xurl       = {https://doi.org/10.1007/978-3-030-53291-8\_17},
	doi       = {10.1007/978-3-030-53291-8\_17}
}



@article{DBLP:journals/wias/Chen15,
	author    = {Jianhua Chen},
	title     = {Properties of a new adaptive sampling method with applications to
	scalable learning},
	journal   = {Web Intell.},
	volume    = {13},
	number    = {4},
	pages     = {215--227},
	year      = {2015},
	xurl       = {https://doi.org/10.3233/WEB-150322},
	doi       = {10.3233/WEB-150322}
}






@inproceedings{DBLP:conf/qest/BoyerCLS13,
	author    = {Beno{\^{\i}}t Boyer and
	Kevin Corre and
	Axel Legay and
	Sean Sedwards},
	title     = {PLASMA-lab: {A} Flexible, Distributable Statistical Model Checking
	Library},
	booktitle = {{QEST}},
	series    = {Lecture Notes in Computer Science},
	volume    = {8054},
	pages     = {160--164},
	publisher = {Springer},
	year      = {2013},
	xurl       = {https://doi.org/10.1007/978-3-642-40196-1\_12},
	doi       = {10.1007/978-3-642-40196-1\_12}
}



@inproceedings{DBLP:conf/tacas/JegourelLS12,
	author    = {Cyrille J{\'{e}}gourel and
	Axel Legay and
	Sean Sedwards},
	title     = {A Platform for High Performance Statistical Model Checking - {PLASMA}},
	booktitle = {{TACAS}},
	series    = {Lecture Notes in Computer Science},
	volume    = {7214},
	pages     = {498--503},
	publisher = {Springer},
	year      = {2012},
	xurl       = {https://doi.org/10.1007/978-3-642-28756-5\_37},
	doi       = {10.1007/978-3-642-28756-5\_37}
}






@inproceedings{DBLP:conf/nfm/DavidDLLM13,
	author    = {Alexandre David and
	Dehui Du and
	Kim Guldstrand Larsen and
	Axel Legay and
	Marius Mikucionis},
	title     = {Optimizing Control Strategy Using Statistical Model Checking},
	booktitle = {NFM},
	series    = {Lecture Notes in Computer Science},
	volume    = {7871},
	pages     = {352--367},
	publisher = {Springer},
	year      = {2013},
	xurl       = {https://doi.org/10.1007/978-3-642-38088-4\_24},
	doi       = {10.1007/978-3-642-38088-4\_24}
}



@inproceedings{DBLP:conf/atva/ClarkeZ11,
	author    = {Edmund M. Clarke and
	Paolo Zuliani},
	title     = {Statistical Model Checking for Cyber-Physical Systems},
	booktitle = {{ATVA}},
	series    = {Lecture Notes in Computer Science},
	volume    = {6996},
	pages     = {1--12},
	publisher = {Springer},
	year      = {2011},
	xurl       = {https://doi.org/10.1007/978-3-642-24372-1\_1},
	doi       = {10.1007/978-3-642-24372-1\_1}
}



@inproceedings{DBLP:conf/isola/KalajdzicJLBLSG16,
	author    = {Kenan Kalajdzic and
	Cyrille J{\'{e}}gourel and
	Anna Lukina and
	Ezio Bartocci and
	Axel Legay and
	Scott A. Smolka and
	Radu Grosu},
	title     = {Feedback Control for Statistical Model Checking of Cyber-Physical
	Systems},
	booktitle = {ISoLA {(1)}},
	series    = {Lecture Notes in Computer Science},
	volume    = {9952},
	pages     = {46--61},
	year      = {2016},
	xurl       = {https://doi.org/10.1007/978-3-319-47166-2\_4},
	doi       = {10.1007/978-3-319-47166-2\_4}
}


@article{DBLP:journals/sttt/BasuBBDL12,
	author    = {Ananda Basu and
	Saddek Bensalem and
	Marius Bozga and
	Beno{\^{\i}}t Delahaye and
	Axel Legay},
	title     = {Statistical abstraction and model-checking of large heterogeneous
	systems},
	journal   = {Int. J. Softw. Tools Technol. Transf.},
	volume    = {14},
	number    = {1},
	pages     = {53--72},
	year      = {2012},
	xurl       = {https://doi.org/10.1007/s10009-011-0201-2},
	doi       = {10.1007/s10009-011-0201-2}
}



@inproceedings{DBLP:journals/corr/abs-1207-1272,
	author    = {Peter E. Bulychev and
	Alexandre David and
	Kim Guldstrand Larsen and
	Marius Mikucionis and
	Danny B{\o}gsted Poulsen and
	Axel Legay and
	Zheng Wang},
	title     = {{UPPAAL-SMC:} Statistical Model Checking for Priced Timed Automata},
	booktitle = {{QAPL}},
	series    = {{EPTCS}},
	volume    = {85},
	pages     = {1--16},
	year      = {2012},
	xurl       = {https://doi.org/10.4204/EPTCS.85.1},
	doi       = {10.4204/EPTCS.85.1}
}



@inproceedings{DBLP:conf/formats/Larsen12,
	author    = {Kim G. Larsen},
	title     = {Statistical Model Checking, Refinement Checking, Optimization, ...
	for Stochastic Hybrid Systems},
	booktitle = {{FORMATS}},
	series    = {Lecture Notes in Computer Science},
	volume    = {7595},
	pages     = {7--10},
	publisher = {Springer},
	year      = {2012},
	xurl       = {https://doi.org/10.1007/978-3-642-33365-1\_2},
	doi       = {10.1007/978-3-642-33365-1\_2}
}




@inproceedings{HMZ+12,
	author    = {David Henriques and
	Jo{\~a}o Martins and
	Paolo Zuliani and
	Andr{\'e} Platzer and
	Edmund M. Clarke},
	title     = {Statistical Model Checking for {{M}arkov} Decision Processes},
	booktitle = {QEST},
	publisher = {IEEE Computer Society},
	year      = {2012},
	pages     = {84-93},
}


@inproceedings{DBLP:conf/formats/EllenGF12,
	author    = {Christian Ellen and
	Sebastian Gerwinn and
	Martin Fr{\"{a}}nzle},
	title     = {Confidence Bounds for Statistical Model Checking of Probabilistic
	Hybrid Systems},
	booktitle = {{FORMATS}},
	series    = {Lecture Notes in Computer Science},
	volume    = {7595},
	pages     = {123--138},
	publisher = {Springer},
	year      = {2012},
	xurl       = {https://doi.org/10.1007/978-3-642-33365-1\_10},
	doi       = {10.1007/978-3-642-33365-1\_10}
}



@article{DBLP:journals/sttt/EllenGF15,
	author    = {Christian Ellen and
	Sebastian Gerwinn and
	Martin Fr{\"{a}}nzle},
	title     = {Statistical model checking for stochastic hybrid systems involving
	nondeterminism over continuous domains},
	journal   = {Int. J. Softw. Tools Technol. Transf.},
	volume    = {17},
	number    = {4},
	pages     = {485--504},
	year      = {2015},
	xurl       = {https://doi.org/10.1007/s10009-014-0329-y},
	doi       = {10.1007/s10009-014-0329-y}
}



@inproceedings{DBLP:journals/corr/abs-1208-3856,
	author    = {Alexandre David and
	Dehui Du and
	Kim G. Larsen and
	Axel Legay and
	Marius Mikucionis and
	Danny B{\o}gsted Poulsen and
	Sean Sedwards},
	title     = {Statistical Model Checking for Stochastic Hybrid Systems},
	booktitle = {{HSB}},
	series    = {{EPTCS}},
	volume    = {92},
	pages     = {122--136},
	year      = {2012},
	xurl       = {https://doi.org/10.4204/EPTCS.92.9},
	doi       = {10.4204/EPTCS.92.9}
}


@article{DBLP:journals/fmsd/ZulianiPC13,
	author    = {Paolo Zuliani and
	Andr{\'{e}} Platzer and
	Edmund M. Clarke},
	title     = {Bayesian statistical model checking with application to {S}tateflow/{S}imulink
	verification},
	journal   = {Formal Methods Syst. Des.},
	volume    = {43},
	number    = {2},
	pages     = {338--367},
	year      = {2013},
	xurl       = {https://doi.org/10.1007/s10703-013-0195-3},
	doi       = {10.1007/s10703-013-0195-3}
}



@inproceedings{DBLP:conf/cmsb/PalaniappanG0HT13,
	author    = {Sucheendra K. Palaniappan and
	Benjamin M. Gyori and
	Bing Liu and
	David Hsu and
	P. S. Thiagarajan},
	title     = {Statistical Model Checking Based Calibration and Analysis of Bio-pathway
	Models},
	booktitle = {{CMSB}},
	series    = {Lecture Notes in Computer Science},
	volume    = {8130},
	pages     = {120--134},
	publisher = {Springer},
	year      = {2013},
	xurl       = {https://doi.org/10.1007/978-3-642-40708-6\_10},
	doi       = {10.1007/978-3-642-40708-6\_10}
}



@inproceedings{DBLP:conf/cmsb/JhaCLLPZ09,
	author    = {Sumit Kumar Jha and
	Edmund M. Clarke and
	Christopher James Langmead and
	Axel Legay and
	Andr{\'{e}} Platzer and
	Paolo Zuliani},
	title     = {A {B}ayesian Approach to Model Checking Biological Systems},
	booktitle = {{CMSB}},
	series    = {Lecture Notes in Computer Science},
	volume    = {5688},
	pages     = {218--234},
	publisher = {Springer},
	year      = {2009},
	xurl       = {https://doi.org/10.1007/978-3-642-03845-7\_15},
	doi       = {10.1007/978-3-642-03845-7\_15}
}



@book{norris1998markov,
	title={{M}arkov chains},
	author={Norris, James R},
	year={1998},
	publisher={Cambridge university press},
	url={https://books.google.de/books/about/Markov_Chains.html?id=qM65VRmOJZAC&redir_esc=y}
}

@inproceedings{qcomp-benchmarkset,
	author    = {Arnd Hartmanns and
	Michaela Klauck and
	David Parker and
	Tim Quatmann and
	Enno Ruijters},
	title     = {The Quantitative Verification Benchmark Set},
	booktitle = {{TACAS} {(1)}},
	series    = {Lecture Notes in Computer Science},
	volume    = {11427},
	pages     = {344--350},
	publisher = {Springer},
	year      = {2019},
	xurl       = {https://doi.org/10.1007/978-3-030-17462-0\_20},
	doi       = {10.1007/978-3-030-17462-0\_20}
}


@article{DHKP17,
	author    = {Przemyslaw Daca and
	Thomas A. Henzinger and
	Jan Kret{\'{\i}}nsk{\'{y}} and
	Tatjana Petrov},
	title     = {Faster Statistical Model Checking for Unbounded Temporal Properties},
	journal   = {{ACM} Trans. Comput. Log.},
	volume    = {18},
	number    = {2},
	pages     = {12:1--12:25},
	year      = {2017},
	xurl       = {https://doi.org/10.1145/3060139},
	doi       = {10.1145/3060139}
}




@inproceedings{DBLP:conf/vmcai/Younes06,
	author    = {H{\aa}kan L. S. Younes},
	title     = {Error Control for Probabilistic Model Checking},
	booktitle = {{VMCAI}},
	series    = {Lecture Notes in Computer Science},
	volume    = {3855},
	pages     = {142--156},
	publisher = {Springer},
	year      = {2006},
	xurl       = {https://doi.org/10.1007/11609773\_10},
	doi       = {10.1007/11609773\_10}
}


@article{cav19arxiv,
	author    = {Pranav Ashok and
	Jan Kret{\'{\i}}nsk{\'{y}} and
	Maximilian Weininger},
	title     = {{PAC} Statistical Model Checking for {M}arkov Decision Processes and
	Stochastic Games},
	journal   = {CoRR},
	volume    = {abs/1905.04403},
	year      = {2019},
	url       = {http://arxiv.org/abs/1905.04403}
}



@Article{H63,
	Title                    = {Probability inequalities for sums of bounded random variables},
	Author                   = {Hoeffding, Wassily},
	Journal                  = {Journal of the American statistical association},
	Year                     = {1963},
	Number                   = {301},
	Pages                    = {13-30},
	Volume                   = {58},
	Publisher                = {Taylor \& Francis Group},
	url={https://www.tandfonline.com/doi/abs/10.1080/01621459.1963.10500830}
}




@inproceedings{DBLP:conf/cav/Younes05,
	author    = {H{\aa}kan L. S. Younes},
	title     = {Probabilistic Verification for "Black-Box" Systems},
	booktitle = {{CAV}},
	series    = {Lecture Notes in Computer Science},
	volume    = {3576},
	pages     = {253--265},
	publisher = {Springer},
	year      = {2005},
	xurl       = {https://doi.org/10.1007/11513988\_25},
	doi       = {10.1007/11513988\_25}
}


@inproceedings{Sen04,
	author    = {Koushik Sen and
	Mahesh Viswanathan and
	Gul Agha},
	title     = {Statistical Model Checking of Black-Box Probabilistic Systems},
	booktitle = {{CAV}},
	series    = {Lecture Notes in Computer Science},
	volume    = {3114},
	pages     = {202--215},
	publisher = {Springer},
	year      = {2004},
	xurl       = {https://doi.org/10.1007/978-3-540-27813-9\_16},
	doi       = {10.1007/978-3-540-27813-9\_16}
	}
	
@inproceedings{cav05,
	author    = {Koushik Sen and
	Mahesh Viswanathan and
	Gul Agha},
	title     = {On Statistical Model Checking of Stochastic Systems},
	booktitle = {{CAV}},
	series    = {Lecture Notes in Computer Science},
	volume    = {3576},
	pages     = {266--280},
	publisher = {Springer},
	year      = {2005},
	xurl       = {http://dx.doi.org/10.1007/11513988_26},
	doi       = {10.1007/11513988_26}
}



@inproceedings{DBLP:conf/qest/SenVA05,
	author    = {Koushik Sen and
	Mahesh Viswanathan and
	Gul A. Agha},
	title     = {{VESTA:} {A} Statistical Model-checker and Analyzer for Probabilistic
	Systems},
	booktitle = {{QEST}},
	pages     = {251--252},
	publisher = {{IEEE} Computer Society},
	year      = {2005},
	xurl       = {https://doi.org/10.1109/QEST.2005.42},
	doi       = {10.1109/QEST.2005.42}
}


	

@InProceedings{Younes02,
	author    = {H{\aa}kan L. S. Younes and
	Reid G. Simmons},
	title     = {Probabilistic Verification of Discrete Event Systems Using Acceptance
	Sampling},
	booktitle = {{CAV}},
	series    = {Lecture Notes in Computer Science},
	volume    = {2404},
	pages     = {223--235},
	publisher = {Springer},
	year      = {2002},
	xurl       = {https://doi.org/10.1007/3-540-45657-0\_17},
	doi       = {10.1007/3-540-45657-0\_17}
}

@inproceedings{atva09,
	author    = {Diana El Rabih and
	Nihal Pekergin},
	title     = {Statistical Model Checking Using Perfect Simulation},
	booktitle = {{ATVA}},
	series    = {Lecture Notes in Computer Science},
	volume    = {5799},
	pages     = {120--134},
	publisher = {Springer},
	year      = {2009},
	xurl       = {http://dx.doi.org/10.1007/978-3-642-04761-9_11},
	doi       = {10.1007/978-3-642-04761-9_11}
}

@article{DBLP:journals/algorithmica/Halman07,
	author    = {Nir Halman},
	title     = {Simple Stochastic Games, Parity Games, Mean Payoff Games and Discounted
	Payoff Games Are All {LP}-Type Problems},
	journal   = {Algorithmica},
	volume    = {49},
	number    = {1},
	pages     = {37--50},
	year      = {2007},
	xurl       = {https://doi.org/10.1007/s00453-007-0175-3},
	doi       = {10.1007/s00453-007-0175-3}
}



@article{anand2017comparative,
	title={A comparative analysis of optimization solvers},
	author={Anand, Rimmi and Aggarwal, Divya and Kumar, Vijay},
	journal={Journal of Statistics and Management Systems},
	volume={20},
	number={4},
	pages={623--635},
	year={2017},
	publisher={Taylor \& Francis},
	doi={10.1080/09720510.2017.1395182}
}

@inproceedings{DBLP:conf/nips/SongLYD20,
	author    = {Jialin Song and
	Ravi Lanka and
	Yisong Yue and
	Bistra Dilkina},
	title     = {A General Large Neighborhood Search Framework for Solving Integer
	Linear Programs},
	booktitle = {NeurIPS},
	year      = {2020},
	url       = {https://proceedings.neurips.cc/paper/2020/hash/e769e03a9d329b2e864b4bf4ff54ff39-Abstract.html}
}



@inproceedings{IM12,
	author    = {Rasmus Ibsen{-}Jensen and
	Peter Bro Miltersen},
	title     = {Solving Simple Stochastic Games with Few Coin Toss Positions},
	booktitle = {{ESA}},
	series    = {Lecture Notes in Computer Science},
	volume    = {7501},
	pages     = {636--647},
	publisher = {Springer},
	year      = {2012},
	doi       = {10.1007/978-3-642-33090-2\_55}
}

@article{DBLP:journals/algorithmica/DaiG11,
	author    = {Decheng Dai and
	Rong Ge},
	title     = {Another Sub-exponential Algorithm for the Simple Stochastic Game},
	journal   = {Algorithmica},
	volume    = {61},
	number    = {4},
	pages     = {1092--1104},
	year      = {2011},
	doi       = {10.1007/s00453-010-9413-1}
}

@article{DBLP:journals/iandc/Ludwig95,
	author    = {Walter Ludwig},
	title     = {A Subexponential Randomized Algorithm for the Simple Stochastic Game
	Problem},
	journal   = {Inf. Comput.},
	volume    = {117},
	number    = {1},
	pages     = {151--155},
	year      = {1995},
	doi       = {10.1006/inco.1995.1035}
}

@inproceedings{DBLP:conf/stoc/FearnleyS15,
	author    = {John Fearnley and
	Rahul Savani},
	title     = {The Complexity of the Simplex Method},
	booktitle = {{STOC}},
	pages     = {201--208},
	publisher = {{ACM}},
	year      = {2015},
	xurl       = {https://doi.org/10.1145/2746539.2746558},
	doi       = {10.1145/2746539.2746558}
}

@article{vrieze1983finite,
	title={A finite algorithm for the switching control stochastic game},
	author={Vrieze, OJ and Tijs, SH and Raghavan, Tirukkannamangai ES and Filar, JA},
	journal={Operations-Research-Spektrum},
	volume={5},
	number={1},
	pages={15--24},
	year={1983},
	publisher={Springer},
	xurl={https://doi.org/10.1007/BF01720283}
}

@article{HK66,
	author = {A. J. Hoffman and R. M. Karp},
	title = {On Nonterminating Stochastic Games},
	journal = {Management Science},
	volume = {12},
	number = {5},
	pages = {359-370},
	year = {1966},
	doi = {10.1287/mnsc.12.5.359},
}



@inproceedings{DBLP:conf/ijcnn/LiL08,
	author    = {Jianwei Li and
	Weiyi Liu},
	title     = {A novel heuristic {Q}-learning algorithm for solving stochastic games},
	booktitle = {
	{IJCNN} },
	pages     = {1135--1144},
	year      = {2008},
	xurl       = {https://doi.org/10.1109/IJCNN.2008.4633942}
}

@article{DBLP:journals/tsmc/BusoniuBS08,
	author    = {Lucian Busoniu and
	Robert Babuska and
	Bart De Schutter},
	title     = {A Comprehensive Survey of Multiagent Reinforcement Learning},
	journal   = {{IEEE} Trans. Syst. Man Cybern. Part {C}},
	volume    = {38},
	number    = {2},
	pages     = {156--172},
	xurl       = {https://doi.org/10.1109/TSMCC.2007.913919},
	year      = {2008}
}

@ARTICLE{WenT21,
	author={Wen, Min and Topcu, Ufuk},
	journal={IEEE Transactions on Automatic Control}, 
	title={Probably Approximately Correct Learning in Adversarial Environments with Temporal Logic Specifications}, 
	year={2021},
	volume={},
	number={},
	pages={1-1},
	doi={10.1109/TAC.2021.3115080}}


@inproceedings{DBLP:conf/ijcai/WenT16,
	author    = {Min Wen and
	Ufuk Topcu},
	title     = {Probably Approximately Correct Learning in Stochastic Games with Temporal
	Logic Specifications},
	booktitle = {{IJCAI}},
	pages     = {3630--3636},
	publisher = {{IJCAI/AAAI} Press},
	year      = {2016},
	url       = {http://www.ijcai.org/Abstract/16/511}
}

@inproceedings{DBLP:conf/saso/TcheukamT16,
	author    = {Alain Tcheukam and
	Hamidou Tembine},
	title     = {One Swarm per Queen: {A} Particle Swarm Learning for Stochastic Games},
	booktitle = { {SASO} },
	pages     = {144--145},
	year      = {2016},
	xurl       = {https://doi.org/10.1109/SASO.2016.22}
}

@article{DBLP:journals/tac/ArslanY17,
	author    = {G{\"{u}}rdal Arslan and
	Serdar Y{\"{u}}ksel},
	title     = {Decentralized {Q}-Learning for Stochastic Teams and Games},
	journal   = {{IEEE} Trans. Autom. Control.},
	volume    = {62},
	number    = {4},
	pages     = {1545--1558},
	xurl       = {https://doi.org/10.1109/TAC.2016.2598476},
	year      = {2017}
}

@article{CSG,
	author    = {Julia Eisentraut and
	Jan Kret{\'{\i}}nsk{\'{y}} and
	Alexej Rotar},
	title     = {Stopping Criteria for Value and Strategy Iteration on Concurrent Stochastic
	Reachability Games},
	journal   = {CoRR},
	volume    = {abs/1909.08348},
	url       = {http://arxiv.org/abs/1909.08348},
	year      = {2019}
}


@inproceedings{QK18-svi,
	author    = {Tim Quatmann and
	Joost{-}Pieter Katoen},
	title     = {Sound Value Iteration},
	booktitle = {{CAV} {(1)}},
	series    = {Lecture Notes in Computer Science},
	volume    = {10981},
	pages     = {643--661},
	publisher = {Springer},
	year      = {2018},
	doi       = {10.1007/978-3-319-96145-3\_37}
}

@inproceedings{DBLP:conf/cav/PhalakarnTHH20,
	author    = {Kittiphon Phalakarn and
	Toru Takisaka and
	Thomas Haas and
	Ichiro Hasuo},
	title     = {Widest Paths and Global Propagation in Bounded Value Iteration for
	Stochastic Games},
	booktitle = {{CAV} {(2)}},
	series    = {Lecture Notes in Computer Science},
	volume    = {12225},
	pages     = {349--371},
	publisher = {Springer},
	xurl       = {https://doi.org/10.1007/978-3-030-53291-8\_19},
	year      = {2020}
}



@article{Valiant84,
	author    = {Leslie G. Valiant},
	title     = {A Theory of the Learnable},
	journal   = {Commun. {ACM}},
	volume    = {27},
	number    = {11},
	pages     = {1134--1142},
	year      = {1984},
	xurl       = {https://doi.org/10.1145/1968.1972},
	doi       = {10.1145/1968.1972}
}



@inproceedings{StrehlLWLL06,
	author    = {Alexander L. Strehl and
	Lihong Li and
	Eric Wiewiora and
	John Langford and
	Michael L. Littman},
	title     = {{PAC} model-free reinforcement learning},
	booktitle = {{ICML}},
	series    = {{ACM} International Conference Proceeding Series},
	volume    = {148},
	pages     = {881--888},
	publisher = {{ACM}},
	year      = {2006},
	url       = {http://doi.acm.org/10.1145/1143844.1143955}
}

@phdthesis{MatPhD,
	author    = {Mateusz Ujma},
	title     = {On verification and controller synthesis for probabilistic systems
	at runtime},
	school    = {University of Oxford, {UK}},
	year      = {2015},
	url       = {http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.711811}
}
@inproceedings{DJK017-storm,
	author    = {Christian Dehnert and
	Sebastian Junges and
	Joost{-}Pieter Katoen and
	Matthias Volk},
	title     = {A {S}torm is Coming: {A} Modern Probabilistic Model Checker},
	booktitle = {{CAV} {(2)}},
	series    = {Lecture Notes in Computer Science},
	volume    = {10427},
	pages     = {592--600},
	publisher = {Springer},
	year      = {2017},
	xurl       = {https://doi.org/10.1007/978-3-319-63390-9\_31},
	doi       = {10.1007/978-3-319-63390-9\_31}
}



@inproceedings{KNP11-prism,
	author    = {Marta Z. Kwiatkowska and
	Gethin Norman and
	David Parker},
	title     = {{PRISM} 4.0: Verification of Probabilistic Real-Time Systems},
	booktitle = {{CAV}},
	series    = {Lecture Notes in Computer Science},
	volume    = {6806},
	pages     = {585--591},
	publisher = {Springer},
	year      = {2011},
	xurl       = {https://doi.org/10.1007/978-3-642-22110-1\_47},
	doi       = {10.1007/978-3-642-22110-1\_47}
}


@inproceedings{Dijk18,
	author    = {Tom van Dijk},
	title     = {Attracting Tangles to Solve Parity Games},
	booktitle = {{CAV} {(2)}},
	series    = {Lecture Notes in Computer Science},
	volume    = {10982},
	pages     = {198--215},
	publisher = {Springer},
	year      = {2018},
	xurl       = {https://doi.org/10.1007/978-3-319-96142-2\_14},
	doi       = {10.1007/978-3-319-96142-2\_14}
}




@inproceedings{ensuring-BKLPW17,
	author    = {Christel Baier and
	Joachim Klein and
	Linda Leuschner and
	David Parker and
	Sascha Wunderlich},
	title     = {Ensuring the Reliability of Your Model Checker: Interval Iteration
	for Markov Decision Processes},
	booktitle = {{CAV} {(1)}},
	series    = {Lecture Notes in Computer Science},
	volume    = {10426},
	pages     = {160--180},
	publisher = {Springer},
	year      = {2017},
	xurl       = {https://doi.org/10.1007/978-3-319-63387-9\_8},
	doi       = {10.1007/978-3-319-63387-9\_8}
}





@inproceedings{qcomp-BHKKPQTZ20,
	author    = {Carlos E. Budde and
	Arnd Hartmanns and
	Michaela Klauck and
	Jan Kret{\'{\i}}nsk{\'{y}} and
	David Parker and
	Tim Quatmann and
	Andrea Turrini and
	Zhen Zhang},
	title     = {On Correctness, Precision, and Performance in Quantitative Verification
	- {QComp} 2020 Competition Report},
	booktitle = {ISoLA},
	@series    = {Lecture Notes in Computer Science},
	@volume    = {12479},
	@pages     = {216--241},
	@publisher = {Springer},
	year      = {2020},
	@xurl       = {https://doi.org/10.1007/978-3-030-83723-5\_15},
	@doi       = {10.1007/978-3-030-83723-5\_15}
}



@article{S05,
	author    = {Rafal Somla},
	title     = {New Algorithms for Solving Simple Stochastic Games},
	journal   = {Electron. Notes Theor. Comput. Sci.},
	volume    = {119},
	number    = {1},
	pages     = {51--65},
	year      = {2005},
	publisher={Elsevier},
	doi       = {10.1016/j.entcs.2004.07.008}
}

@inproceedings{GH08,
	author    = {Hugo Gimbert and
	Florian Horn},
	title     = {Simple Stochastic Games with Few Random Vertices Are Easy to Solve},
	booktitle = {FoSSaCS},
	series    = {Lecture Notes in Computer Science},
	volume    = {4962},
	pages     = {5--19},
	publisher = {Springer},
	year      = {2008},
	doi       = {10.1007/978-3-540-78499-9\_2}
}


@inproceedings{DBLP:conf/soda/ChatterjeeAH09,
	author    = {Krishnendu Chatterjee and
	Luca de Alfaro and
	Thomas A. Henzinger},
	title     = {Termination criteria for solving concurrent safety and reachability
	games},
	booktitle = {{SODA}},
	pages     = {197--206},
	publisher = {{SIAM}},
	year      = {2009},
	url       = {http://dl.acm.org/citation.cfm?id=1496770.1496793}
}





@article{DBLP:journals/siamcomp/Sahni74,
	author    = {Sartaj Sahni},
	title     = {Computationally Related Problems},
	journal   = {{SIAM} J. Comput.},
	volume    = {3},
	number    = {4},
	pages     = {262--279},
	doi       = {10.1137/0203021},
	year      = {1974}
}

@article{kozlov1980polynomial,
	title={The polynomial solvability of convex quadratic programming},
	author={Kozlov, Mikhail K and Tarasov, Sergei P and Khachiyan, Leonid G},
	journal={USSR Computational Mathematics and Mathematical Physics},
	volume={20},
	number={5},
	pages={223--228},
	year={1980},
	doi={10.1016/0041-5553(80)90098-1},
	publisher={Elsevier}
}

@inproceedings{BK0PS19-complexityVI,
	author    = {Nikhil Balaji and
	Stefan Kiefer and
	Petr Novotn{\'{y}} and
	Guillermo A. P{\'{e}}rez and
	Mahsa Shirmohammadi},
	title     = {On the Complexity of Value Iteration},
	booktitle = {{ICALP}},
	series    = {LIPIcs},
	volume    = {132},
	pages     = {102:1--102:15},
	publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
	year      = {2019},
	xurl       = {https://doi.org/10.4230/LIPIcs.ICALP.2019.102},
	doi       = {10.4230/LIPIcs.ICALP.2019.102}
}


@inproceedings{H22,
	author    = {Arnd Hartmanns},
	title     = {Correct Probabilistic Model Checking with Floating-Point Arithmetic},
	booktitle = {{TACAS} {(2)}},
	series    = {Lecture Notes in Computer Science},
	volume    = {13244},
	pages     = {41--59},
	publisher = {Springer},
	year      = {2022},
	xurl       = {https://doi.org/10.1007/978-3-030-99527-0\_3},
	doi       = {10.1007/978-3-030-99527-0\_3}
}



@inproceedings{KM17,
	author    = {Jan Kret{\'{\i}}nsk{\'{y}} and
	Tobias Meggendorfer},
	title     = {Efficient Strategy Iteration for Mean Payoff in {M}arkov Decision Processes},
	booktitle = {{ATVA}},
	series    = {Lecture Notes in Computer Science},
	volume    = {10482},
	pages     = {380--399},
	publisher = {Springer},
	year      = {2017},
	xurl       = {https://doi.org/10.1007/978-3-319-68167-2\_25},
	doi       = {10.1007/978-3-319-68167-2\_25}
}




@article{TVI,
	author    = {Peng Dai and
	Mausam and
	Daniel S. Weld and
	Judy Goldsmith},
	title     = {Topological Value Iteration Algorithms},
	journal   = {J. Artif. Intell. Res.},
	volume    = {42},
	pages     = {181--209},
	year      = {2011},
	url       = {https://www.jair.org/index.php/jair/article/view/10725},
	timestamp = {Tue, 02 Feb 2021 18:29:15 +0100},
	biburl    = {https://dblp.org/rec/journals/jair/DaiMWG11.bib},
	bibsource = {dblp computer science bibliography, https://dblp.org}
}



@inproceedings{prism-benchmarksuite,
	author    = {Marta Z. Kwiatkowska and
	Gethin Norman and
	David Parker},
	title     = {The {PRISM} Benchmark Suite},
	booktitle = {{QEST}},
	pages     = {203--204},
	publisher = {{IEEE} Computer Society},
	year      = {2012},
	xurl       = {https://doi.org/10.1109/QEST.2012.14},
	doi       = {10.1109/QEST.2012.14}
}


@inproceedings{cav-lex-CKWW20,
	author    = {Krishnendu Chatterjee and
	Joost{-}Pieter Katoen and
	Maximilian Weininger and
	Tobias Winkler},
	title     = {Stochastic Games with Lexicographic Reachability-Safety Objectives},
	booktitle = {{CAV} {(2)}},
	series    = {Lecture Notes in Computer Science},
	volume    = {12225},
	pages     = {398--420},
	publisher = {Springer},
	year      = {2020},
	xurl       = {https://doi.org/10.1007/978-3-030-53291-8\_21},
	doi       = {10.1007/978-3-030-53291-8\_21}
}



@inproceedings{prism-games3,
	author    = {Marta Kwiatkowska and
	Gethin Norman and
	David Parker and
	Gabriel Santos},
	title     = {{PRISM}-games 3.0: Stochastic Game Verification with Concurrency, Equilibria
	and Time},
	booktitle = {{CAV} {(2)}},
	series    = {Lecture Notes in Computer Science},
	volume    = {12225},
	pages     = {475--487},
	publisher = {Springer},
	year      = {2020},
	xurl       = {https://doi.org/10.1007/978-3-030-53291-8\_25},
	doi       = {10.1007/978-3-030-53291-8\_25}
}



@inproceedings{prism-games2,
	author    = {Marta Kwiatkowska and
	David Parker and
	Clemens Wiltsche},
	title     = {{PRISM}-Games 2.0: {A} Tool for Multi-objective Strategy Synthesis for
	Stochastic Games},
	booktitle = {{TACAS}},
	series    = {Lecture Notes in Computer Science},
	volume    = {9636},
	pages     = {560--566},
	publisher = {Springer},
	year      = {2016},
	xurl       = {https://doi.org/10.1007/978-3-662-49674-9\_35},
	doi       = {10.1007/978-3-662-49674-9\_35}
}



@inproceedings{HK20-ovi,
	author    = {Arnd Hartmanns and
	Benjamin Lucien Kaminski},
	title     = {Optimistic Value Iteration},
	booktitle = {{CAV} {(2)}},
	series    = {Lecture Notes in Computer Science},
	volume    = {12225},
	pages     = {488--511},
	publisher = {Springer},
	year      = {2020},
	xurl       = {https://doi.org/10.1007/978-3-030-53291-8\_26},
	doi       = {10.1007/978-3-030-53291-8\_26}
}



@article{DBLP:journals/jacm/HansenMZ13,
	author    = {Thomas Dueholm Hansen and
	Peter Bro Miltersen and
	Uri Zwick},
	title     = {Strategy Iteration Is Strongly Polynomial for 2-Player Turn-Based
	Stochastic Games with a Constant Discount Factor},
	journal   = {J. {ACM}},
	volume    = {60},
	number    = {1},
	pages     = {1:1--1:16},
	year      = {2013},
	xurl       = {https://doi.org/10.1145/2432622.2432623},
	doi       = {10.1145/2432622.2432623}
}



@inproceedings{ACS19,
	author    = {David Auger and
	Pierre Coucheney and
	Yann Strozecki},
	title     = {Solving Simple Stochastic Games with Few Random Nodes Faster Using
	{B}land's Rule},
	booktitle = {{STACS}},
	series    = {LIPIcs},
	volume    = {126},
	pages     = {9:1--9:16},
	publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
	year      = {2019},
	xurl       = {https://doi.org/10.4230/LIPIcs.STACS.2019.9},
	doi       = {10.4230/LIPIcs.STACS.2019.9}
}



@article{DBLP:journals/jda/TripathiVK11,
	author    = {Rahul Tripathi and
	Elena Valkanova and
	V. S. Anil Kumar},
	title     = {On strategy improvement algorithms for simple stochastic games},
	journal   = {J. Discrete Algorithms},
	volume    = {9},
	number    = {3},
	pages     = {263--278},
	year      = {2011},
	xurl       = {https://doi.org/10.1016/j.jda.2011.03.007},
	doi       = {10.1016/j.jda.2011.03.007}
}



@article{DBLP:journals/corr/abs-2110-01030,
	author    = {Xavier Badin de Montjoye},
	title     = {A Recursive Algorithm for Solving Simple Stochastic Games},
	journal   = {CoRR},
	volume    = {abs/2110.01030},
	year      = {2021},
	url       = {https://arxiv.org/abs/2110.01030}
}



@article{Gir14,
	author    = {Sergio Giro},
	title     = {Optimal schedulers vs optimal bases: An approach for efficient exact
	solving of {M}arkov decision processes},
	journal   = {Theor. Comput. Sci.},
	volume    = {538},
	pages     = {70--83},
	year      = {2014},
	xurl       = {https://doi.org/10.1016/j.tcs.2013.08.020},
	doi       = {10.1016/j.tcs.2013.08.020}
}



@inproceedings{AMS21,
	author    = {David Auger and
	Xavier Badin de Montjoye and
	Yann Strozecki},
	title     = {A Generic Strategy Improvement Method for Simple Stochastic Games},
	booktitle = {{MFCS}},
	series    = {LIPIcs},
	volume    = {202},
	pages     = {12:1--12:22},
	publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
	year      = {2021},
	xurl       = {https://doi.org/10.4230/LIPIcs.MFCS.2021.12},
	doi       = {10.4230/LIPIcs.MFCS.2021.12}
}




@article{CAH13,
	author    = {Krishnendu Chatterjee and
	Luca de Alfaro and
	Thomas A. Henzinger},
	title     = {Strategy improvement for concurrent reachability and turn-based stochastic
	safety games},
	journal   = {J. Comput. Syst. Sci.},
	volume    = {79},
	number    = {5},
	pages     = {640--657},
	year      = {2013},
	xurl       = {https://doi.org/10.1016/j.jcss.2012.12.001},
	doi       = {10.1016/j.jcss.2012.12.001}
}

@book{FVbook,
	title={Competitive {M}arkov decision processes},
	author={Filar, Jerzy and Vrieze, Koos},
	year={1997},
	publisher={Springer Science \& Business Media},
	url={https://link.springer.com/book/10.1007/978-1-4612-4054-9}
}


@article{CH12-OmegaSurvey,
	author    = {Krishnendu Chatterjee and
	Thomas A. Henzinger},
	title     = {A survey of stochastic {\(\omega\)}-regular games},
	journal   = {J. Comput. Syst. Sci.},
	volume    = {78},
	number    = {2},
	pages     = {394--413},
	year      = {2012},
	xurl       = {https://doi.org/10.1016/j.jcss.2011.05.002},
	doi       = {10.1016/j.jcss.2011.05.002}
}




@article{KM20-cores,
	author    = {Jan Kret{\'{\i}}nsk{\'{y}} and
	Tobias Meggendorfer},
	title     = {Of Cores: {A} Partial-Exploration Framework for {M}arkov Decision Processes},
	journal   = {Log. Methods Comput. Sci.},
	volume    = {16},
	number    = {4},
	year      = {2020},
	url       = {https://lmcs.episciences.org/6833}
}



@inproceedings{ACD+17,
	author    = {Pranav Ashok and
	Krishnendu Chatterjee and
	Przemyslaw Daca and
	Jan Kret{\'{\i}}nsk{\'{y}} and
	Tobias Meggendorfer},
	title     = {Value Iteration for Long-Run Average Reward in {M}arkov Decision Processes},
	booktitle = {{CAV} {(1)}},
	series    = {Lecture Notes in Computer Science},
	volume    = {10426},
	pages     = {201--221},
	publisher = {Springer},
	year      = {2017},
	xurl       = {https://doi.org/10.1007/978-3-319-63387-9\_10},
	doi       = {10.1007/978-3-319-63387-9\_10}
}



@article{CFK+13reward,
	author    = {Taolue Chen and
	Vojtech Forejt and
	Marta Z. Kwiatkowska and
	David Parker and
	Aistis Simaitis},
	title     = {Automatic verification of competitive stochastic systems},
	journal   = {Formal Methods Syst. Des.},
	volume    = {43},
	number    = {1},
	pages     = {61--92},
	year      = {2013},
	xurl       = {https://doi.org/10.1007/s10703-013-0183-7},
	doi       = {10.1007/s10703-013-0183-7}
}



@inproceedings{AnderssonM09,
	author    = {Daniel Andersson and
	Peter Bro Miltersen},
	title     = {The Complexity of Solving Stochastic Games on Graphs},
	booktitle = {{ISAAC}},
	series    = {Lecture Notes in Computer Science},
	volume    = {5878},
	pages     = {112--121},
	publisher = {Springer},
	year      = {2009},
	xurl       = {https://doi.org/10.1007/978-3-642-10631-6\_13},
	doi       = {10.1007/978-3-642-10631-6\_13}
}




@inproceedings{BCC+14,
author    = {Tom{\'{a}}s Br{\'{a}}zdil and
Krishnendu Chatterjee and
Martin Chmelik and
Vojtech Forejt and
Jan Kret{\'{\i}}nsk{\'{y}} and
Marta Z. Kwiatkowska and
David Parker and
Mateusz Ujma},
title     = {Verification of Markov Decision Processes Using Learning Algorithms},
booktitle = {{ATVA}},
series    = {Lecture Notes in Computer Science},
volume    = {8837},
pages     = {98--114},
publisher = {Springer},
year      = {2014},
	xurl       = {https://doi.org/10.1007/978-3-319-11936-6\_8},
	doi       = {10.1007/978-3-319-11936-6\_8},
	timestamp = {Sun, 21 May 2017 00:22:26 +0200},
	biburl    = {https://dblp.org/rec/bib/conf/atva/BrazdilCCFKKPU14},
	bibsource = {dblp computer science bibliography, https://dblp.org}
}

@article{HM18,
	author    = {Serge Haddad and
	Benjamin Monmege},
	title     = {Interval iteration algorithm for {MDP}s and {IMDP}s},
	journal   = {Theor. Comput. Sci.},
	volume    = {735},
	pages     = {111--131},
	year      = {2018},
	xurl       = {https://doi.org/10.1016/j.tcs.2016.12.003},
	doi       = {10.1016/j.tcs.2016.12.003}
}
@inproceedings{DBLP:conf/isaac/AnderssonM09,
  author       = {Daniel Andersson and
                  Peter Bro Miltersen},
  editor       = {Yingfei Dong and
                  Ding{-}Zhu Du and
                  Oscar H. Ibarra},
  title        = {The Complexity of Solving Stochastic Games on Graphs},
  booktitle    = {Algorithms and Computation, 20th International Symposium, {ISAAC}
                  2009, Honolulu, Hawaii, USA, December 16-18, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5878},
  pages        = {112--121},
  publisher    = {Springer},
  year         = {2009},
  xurl          = {https://doi.org/10.1007/978-3-642-10631-6\_13},
  doi          = {10.1007/978-3-642-10631-6\_13},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/isaac/AnderssonM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{kallenberg2011markov,
  title={Markov decision processes},
  author={Kallenberg, Lodewijk},
  journal={Lecture Notes. University of Leiden},
  volume={428},
  year={2011}
}


@inproceedings{Condon90,
	author    = {Anne Condon},
	title     = {On Algorithms for Simple Stochastic Games},
	booktitle = {Advances In Computational Complexity Theory},
	series    = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
	volume    = {13},
	pages     = {51--73},
	publisher = {{DIMACS/AMS}},
	year      = {1993},
	xurl       = {https://doi.org/10.1090/dimacs/013/04},
	doi       = {10.1090/dimacs/013/04}
}



@book{BK08,
	author    = {Christel Baier and
	Joost{-}Pieter Katoen},
	title     = {Principles of model checking},
	publisher = {{MIT} Press},
	year      = {2008},
	isbn      = {978-0-262-02649-9},
	url={https://mitpress.mit.edu/books/principles-model-checking}
}



@inproceedings{CH08,
	author    = {Krishnendu Chatterjee and
	Thomas A. Henzinger},
	title     = {Value Iteration},
	booktitle = {25 Years of Model Checking},
	series    = {Lecture Notes in Computer Science},
	volume    = {5000},
	pages     = {107--138},
	publisher = {Springer},
	year      = {2008},
	xurl       = {https://doi.org/10.1007/978-3-540-69850-0\_7},
	doi       = {10.1007/978-3-540-69850-0\_7}
}



@article{Condon92,
	author    = {Anne Condon},
	title     = {The Complexity of Stochastic Games},
	journal   = {Inf. Comput.},
	volume    = {96},
	number    = {2},
	pages     = {203--224},
	year      = {1992},
	xurl       = {https://doi.org/10.1016/0890-5401(92)90048-K},
	doi       = {10.1016/0890-5401(92)90048-K}
}



@inproceedings{cdc21dift,
	author    = {Maximilian Weininger and
	Kush Grover and
	Shruti Misra and
	Jan Kret{\'{\i}}nsk{\'{y}}},
	title     = {Guaranteed Trade-Offs in Dynamic Information Flow Tracking Games},
	booktitle = {{CDC}},
	pages     = {3786--3793},
	publisher = {{IEEE}},
	year      = {2021},
	xurl       = {https://doi.org/10.1109/CDC45484.2021.9683447},
	doi       = {10.1109/CDC45484.2021.9683447}
}

@article{incGandalf,
  author    = {Jan Kretinsky and
               Emanuel Ramneantu and
               Alexander Slivinskiy and
               Maximilian Weininger},
  title     = {Comparison of Algorithms for Simple Stochastic Games},
  journal   = {Inf. Comput.},
  publisher={Elsevier},
  xurl       = {https://doi.org/10.1016/j.ic.2022.104885},
  year      = {2022}
}

@article{incCAV,
  author    = {Julia Eisentraut and
Edon Kelmendi and
Jan Kret{\'{\i}}nsk{\'{y}} and
Maximilian Weininger},
title     = {Value iteration for simple stochastic games: {S}topping criterion and
learning algorithm},
journal   = {Inf. Comput.},
volume    = {285},
number    = {Part},
pages     = {104886},
year      = {2022},
xurl       = {https://doi.org/10.1016/j.ic.2022.104886},
doi       = {10.1016/j.ic.2022.104886}
}



@inproceedings{dtcontrol2,
  author    = {Pranav Ashok and
               Mathias Jackermeier and
               Jan Kretinsky and
               Christoph Weinhuber and
               Maximilian Weininger and
               Mayank Yadav},
  title     = {dt{C}ontrol 2.0: Explainable Strategy Representation via Decision Tree
               Learning Steered by Experts},
  booktitle = {{TACAS} {(2)}},
  series    = {Lecture Notes in Computer Science},
  volume    = {12652},
  pages     = {326--345},
  publisher = {Springer},
  doi       = {10.1007/978-3-030-72013-1\_17},
  year      = {2021}
}



@inproceedings{isola20SMC,
  author    = {Pranav Ashok and
               Przemyslaw Daca and
               Jan Kretinsky and
               Maximilian Weininger},
  title     = {Statistical Model Checking: Black or White?},
  booktitle = {ISoLA {(1)}},
  series    = {Lecture Notes in Computer Science},
  volume    = {12476},
  pages     = {331--349},
  publisher = {Springer},
  doi       = {10.1007/978-3-030-61362-4\_19},
  year      = {2020}
}



@inproceedings{lics20mosg,
  author    = {Pranav Ashok and
               Krishnendu Chatterjee and
               Jan Kretinsky and
               Maximilian Weininger and
               Tobias Winkler},
  title     = {Approximating Values of Generalized-Reachability Stochastic Games},
  booktitle = {{LICS}},
  pages     = {102--115},
  publisher = {{ACM}},
  doi       = {10.1145/3373718.3394761},
  year      = {2020}
}



@inproceedings{gandalf20comparison,
  author    = {Jan Kretinsky and
               Emanuel Ramneantu and
               Alexander Slivinskiy and
               Maximilian Weininger},
  title     = {Comparison of Algorithms for Simple Stochastic Games},
  booktitle = {GandALF},
  series    = {{EPTCS}},
  volume    = {326},
  pages     = {131--148},
  doi       = {10.4204/EPTCS.326.9},
  year      = {2020}
}



@inproceedings{cav19pac,
  author    = {Pranav Ashok and
               Jan Kretinsky and
               Maximilian Weininger},
  title     = {{PAC} Statistical Model Checking for {M}arkov Decision Processes and
               Stochastic Games},
  booktitle = {{CAV} {(1)}},
  series    = {Lecture Notes in Computer Science},
  volume    = {11561},
  pages     = {497--519},
  publisher = {Springer},
  doi       = {10.1007/978-3-030-25540-4\_29},
  year      = {2019}
}



@inproceedings{cdc19bMDP,
  author    = {Maximilian Weininger and
               Tobias Meggendorfer and
               Jan Kretinsky},
  title     = {Satisfiability Bounds for {\(\omega\)}-Regular Properties in Bounded-Parameter
               {M}arkov Decision Processes},
  booktitle = {{CDC}},
  pages     = {2284--2291},
  publisher = {{IEEE}},
  doi       = {10.1109/CDC40024.2019.9029460},
  year      = {2019}
}



@inproceedings{cav18deflate,
  author    = {Edon Kelmendi and
               Julia Kr{\"{a}}mer and
               Jan Kretinsky and
               Maximilian Weininger},
  title     = {Value Iteration for Simple Stochastic Games: Stopping Criterion and
               Learning Algorithm},
  booktitle = {{CAV} {(1)}},
  series    = {Lecture Notes in Computer Science},
  volume    = {10981},
  pages     = {623--642},
  publisher = {Springer},
  doi       = {10.1007/978-3-319-96145-3\_36},
  year      = {2018}
}


@inproceedings{DBLP:conf/popl/PnueliR89,
	author       = {Amir Pnueli and
	Roni Rosner},
	title        = {On the Synthesis of a Reactive Module},
	booktitle    = {{POPL}},
	pages        = {179--190},
	publisher    = {{ACM} Press},
	year         = {1989}
}

@misc{EUX,
	author={{Independent High-Level Expert Group on Artificial Intelligence}},
	title={Ethics Guidelines for Trustworthy {AI} - {E}uropean Commission, Directorate-General for Communications Networks, Content and Technology},
	note={\url{https://data.europa.eu/doi/10.2759/177365}},
	year=2019
}
@misc{USX,
	author={P. Jonathon Phillips and Carina A. Hahn and Peter C. Fontana and David A. Broniatowski and Mark A. Przybocki},
	title={Four Principles of Explainable Artificial Intelligence - ({U.S.}) National Institute of Standards and Technology ({NIST}) },
	note={\url{https://doi.org/10.6028/NIST.IR.8312-draft}},
	year=2020
}

@book{cart,
	author = {Breiman, Leo and Friedman, J. H. and Olshen, R. A. and Stone, C. J.},
	bibsource = {dblp computer science bibliography, https://dblp.org},
	biburl = {https://dblp.org/rec/books/wa/BreimanFOS84.bib},
	@isbn = {0-534-98053-8},
	@publisher = {Wadsworth},
	@timestamp = {Thu, 03 Jan 2002 11:51:52 +0100},
	title = {Classification and Regression Trees},
	year = {1984}}

@article{id3,
	author = {Quinlan, J. Ross},
	@bibsource = {dblp computer science bibliography, https://dblp.org},
	@biburl = {https://dblp.org/rec/journals/ml/Quinlan86.bib},
	journal = {Mach. Learn.},
	@number = {1},
	@pages = {81--106},
	@timestamp = {Mon, 02 Mar 2020 16:28:49 +0100},
	title = {Induction of Decision Trees},
	@volume = {1},
	year = {1986}}

. C. Boutilier and R. Dearden. Approximate value trees in structured dynamic programming. In
L. Saitta, editor, ICML, pages 54–62. Morgan Kaufmann, 1996.
9. C. Boutilier, R. Dearden, and M. Goldszmidt. Exploiting structure in policy construction. In
IJCAI, pages 1104–1113. Morgan Kaufmann, 1995.

@article{rusu2015policy,
  title={Policy distillation},
  author={Rusu, Andrei A and Colmenarejo, Sergio Gomez and Gulcehre, Caglar and Desjardins, Guillaume and Kirkpatrick, James and Pascanu, Razvan and Mnih, Volodymyr and Kavukcuoglu, Koray and Hadsell, Raia},
  journal={arXiv preprint arXiv:1511.06295},
  year={2015}
}

@inproceedings{julian2016policy,
  title={Policy compression for aircraft collision avoidance systems},
  author={Julian, Kyle D and Lopez, Jessica and Brush, Jeffrey S and Owen, Michael P and Kochenderfer, Mykel J},
  booktitle={{DASC}},
  year={2016}
}

@inproceedings{du2019good,
  title={Is a good representation sufficient for sample efficient reinforcement learning?},
  author={Du, Simon S and Kakade, Sham M and Wang, Ruosong and Yang, Lin F},
  booktitle    = {{ICML}},
  year={2020}
}
