@inproceedings(Altisen2002,
 author       = {Karine Altisen and Stavros Tripakis},
 year         = {2002},
 title        = {Tools for Controller Synthesis of Timed Systems},
 booktitle    = {Proceedings 2nd Workshop on Real-Time Tools},
)
@article(Alur1994,
 author       = {Rajeev Alur and David L. Dill},
 year         = {1994},
 title        = {{A Theory of Timed Automata}},
 journal      = {Theoretical Computer Science},
 volume       = {126},
 pages        = {183--235},
 doi          = {10.1016/0304-3975(94)90010-8},
)
@inproceedings(Asarin1995,
 author       = {Eugene Asarin and Oded Maler and Amir Pnueli},
 year         = {1995},
 title        = {{Symbolic controller synthesis for discrete and timed systems}},
 booktitle    = {Hybrid Systems II},
 pages        = {1--20},
 doi          = {10.1007/3-540-60472-3\_1},
)
@inproceedings(Askarpour2020,
 author       = {Mehrnoosh Askarpour},
 year         = {2020},
 title        = {How to Formally Model Human in Collaborative Robotics},
 booktitle    = {{\rm Proceedings Second Workshop on} Formal Methods for Autonomous Systems},
 volume       = {329},
 pages        = {1--14},
 doi          = {10.4204/EPTCS.329.1},
)
@article(Bacci2021,
 author       = {Giovanni Bacci and Patricia Bouyer and Uli Fahrenberg and Kim G. Larsen and Nicolas Markey and Pierre-Alain Reynier},
 year         = {2021},
 title        = {Optimal and robust controller synthesis using energy timed automata with uncertainty},
 journal      = {Formal Aspects of Computing},
 volume       = {33},
 number       = {1},
 pages        = {3--25},
 doi          = {10.1007/s00165-020-00521-4},
)
@inproceedings(Bertrand2012,
 author       = {Nathalie Bertrand and Sven Schewe},
 year         = {2012},
 title        = {{Playing Optimally on Timed Automata with Random Delays}},
 booktitle    = {{FORMATS 2012} - Formal Modeling and Analysis of Timed Systems},
 pages        = {43--58},
 doi          = {10.1007/978-3-642-33365-1\_5},
)
@article(Bilgram2021,
 author       = {Alexander Bilgram and Emil Ernstsen and Peter Greve and Harry Lahrmann and {Kim G.} Larsen and Mu{\~n}iz, Marco and Peter Taankvist and Thomas Pedersen},
 year         = {2021},
 title        = {Online and Proactive Vehicle Rerouting with Uppaal Stratego},
 journal      = {Transportation Research Record},
 doi          = {10.1177/03611981211000348},
)
@inproceedings(Bischopink2020,
 author       = {Christopher Bischopink and Maike Schwammberger},
 year         = {2020},
 title        = {Verification of Fair Controllers for Urban Traffic Manoeuvres at Intersections},
 booktitle    = {FM 2019 - Formal Methods. FM 2019 International Workshops},
 pages        = {249--264},
 doi          = {10.1007/978-3-030-54994-7\_18},
)
@inproceedings(Bouyer2004,
 author       = {Patricia Bouyer and Franck Cassez and Emmanuel Fleury and Kim Guldstrand Larsen},
 year         = {2004},
 title        = {{Optimal Strategies in Priced Timed Game Automata}},
 booktitle    = {FSTTCS 2004 - Foundations of Software Technology and Theoretical Computer Science},
 pages        = {148--160},
 doi          = {10.1007/978-3-540-30538-5\_13},
)
@inproceedings(Bouyer2009,
 author       = {Patricia Bouyer and Vojt{\v{e}}ch Forejt},
 year         = {2009},
 title        = {{Reachability in Stochastic Timed Games}},
 booktitle    = {ICALP 2009 - Automata, Languages, and Programming},
 pages        = {103--114},
 doi          = {10.1007/978-3-642-02930-1\_9},
)
@inproceedings(Cassez2005,
 author       = {Franck Cassez and Alexandre David and Emmanuel Fleury and Kim Guldstrand Larsen and Didier Lime},
 year         = {2005},
 title        = {{Efficient On-the-Fly Algorithms for the Analysis of Timed Games}},
 booktitle    = {{CONCUR} 2005 - Concurrency Theory},
 pages        = {66--80},
 doi          = {10.1007/11539452\_9},
)
@inproceedings(Cassez2007,
 author       = {Franck Cassez and Alexandre David and Kim G. Larsen and Didier Lime and Jean-Fran{\c{c}}ois Raskin},
 year         = {2007},
 title        = {Timed Control with Observation Based and Stuttering Invariant Strategies},
 booktitle    = {ATVA 2007 - Automated Technology for Verification and Analysis},
 pages        = {192--206},
 doi          = {10.1007/978-3-540-75596-8\_15},
)
@inproceedings(David2015,
 author       = {Alexandre David and Peter Gj{\o}l Jensen and Kim Guldstrand Larsen and Miku{\v{c}}ionis, Marius and Jakob Haahr Taankvist},
 year         = {2015},
 title        = {Uppaal Stratego},
 booktitle    = {TACAS 2015 - Tools and Algorithms for the Construction and Analysis of Systems},
 pages        = {206--211},
 doi          = {10.1007/978-3-662-46681-0\_16},
)
@inproceedings(David2009,
 author       = {Alexandre David and {Kim Guldstrand} Larsen and Thomas Chatain},
 year         = {2009},
 title        = {Playing Games with Timed Games},
 booktitle    = {ADHS 2003 - IFAC Proceedings Volumes},
 pages        = {238--243},
 doi          = {10.3182/20090916-3-ES-3003.00042},
)
@inproceedings(Daws1996,
 author       = {C. Daws and A. Olivero and S. Tripakis and S. Yovine},
 year         = {1996},
 title        = {{The tool Kronos}},
 booktitle    = {Hybrid Systems III},
 pages        = {208--219},
 doi          = {10.1007/BFb0020947},
)
@article(Ferrando2021,
 author       = {Angelo Ferrando and Louise A. Dennis and Rafael C. Cardoso and Michael Fisher and Davide Ancona and Viviana Mascardi},
 year         = {2021},
 title        = {Toward a Holistic Approach to Verification and Validation of Autonomous Cognitive Systems},
 journal      = {ACM Transactions on Software Engineering and Methodology},
 volume       = {30},
 number       = {4},
 doi          = {10.1145/3447246},
)
@inproceedings(Finkbeiner2012,
 author       = {Bernd Finkbeiner and Hans-J{\"o}rg Peter},
 year         = {2012},
 title        = {Template-Based Controller Synthesis for Timed Systems},
 booktitle    = {TACAS 2012 - Tools and Algorithms for the Construction and Analysis of Systems},
 pages        = {392--406},
 doi          = {10.1007/978-3-642-28756-5\_27},
)
@article(Gleirscher2021,
 author       = {Mario Gleirscher and Radu Calinescu and Jim Woodcock},
 year         = {2021},
 title        = {RiskStructures: A Design Algebra for Risk-Aware Machines},
 journal      = {Formal Aspects of Computing},
 volume       = {33},
 pages        = {763--802},
 doi          = {10.1007/s00165-021-00545-4},
)
@inproceedings(Larsen2018,
 author       = {Kim G. Larsen and Florian Lorber and Brian Nielsen},
 year         = {2018},
 title        = {20 Years of UPPAAL Enabled Industrial Model-Based Validation and Beyond},
 booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice},
 pages        = {212--229},
 doi          = {10.1007/978-3-030-03427-6\_18},
)
@inproceedings(Larsen2016,
 author       = {Kim G. Larsen and Miku{\v{c}}ionis, Marius and Mu{\~{n}}iz, Marco and Ji{\v{r}}{\'i} Srba and Jakob Haahr Taankvist},
 year         = {2016},
 title        = {{Online and Compositional Learning of Controllers with Application to Floor Heating}},
 booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems},
 pages        = {244--259},
 doi          = {10.1007/978-3-662-49674-9\_14},
)
@article(LuiY2017,
 author       = {Yang Liu and Yu Peng and Bailing Wang and Sirui Yao and Zihe Liu},
 year         = {2017},
 title        = {Review on cyber-physical systems},
 journal      = {IEEE/CAA Journal of Automatica Sinica},
 volume       = {4},
 number       = {1},
 pages        = {27--40},
 doi          = {10.1109/JAS.2017.7510349},
)
@inproceedings(Maler1995,
 author       = {Oded Maler and Amir Pnueli and Joseph Sifakis},
 year         = {1995},
 title        = {{On the synthesis of discrete controllers for timed systems}},
 booktitle    = {STACS 95 - Annual Symposium on Theoretical Aspects of Computer Science},
 pages        = {229--242},
 doi          = {10.1007/3-540-59042-0\_76},
)
@inproceedings(Peter2011,
 author       = {Hans-J{\"o}rg Peter and R{\"u}diger Ehlers and Robert Mattm{\"u}ller},
 year         = {2011},
 title        = {{Synthia: Verification and Synthesis for Timed Automata}},
 booktitle    = {CAV 2011 - Computer Aided Verification},
 pages        = {649--655},
 doi          = {10.1007/978-3-642-22110-1\_52},
)
@article(Rogalla2020,
 author       = {Antje Rogalla and Sascha Lehmann and Maximilian Neidhardt and Johanna Sprenger and Marcel Bengs and Alexander Schlaefer and Sibylle Schupp},
 year         = {2020},
 title        = {{Synthesizing Strategies for Needle Steering in Gelatin Phantoms}},
 journal      = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {316},
 pages        = {261--274},
 doi          = {10.4204/eptcs.316.10},
)
@article(Webster2006,
 author       = {Robert J. Webster and Jin Seob Kim and Noah J. Cowan and Gregory S. Chirikjian and Allison M. Okamura},
 year         = {2006},
 title        = {{Nonholonomic Modeling of Needle Steering}},
 journal      = {International Journal of Robotics Research},
 volume       = {25},
 number       = {5-6},
 pages        = {509--525},
 doi          = {10.1177/0278364906065388},
)