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