Eugene Asarin, Oded Maler, Amir Pnueli & Joseph Sifakis (1998):
Controller Synthesis for Timed Automata.
IFAC Proceedings Volumes 31(18),
pp. 447–452,
doi:10.1016/S1474-6670(17)42032-5.
Giovanni Bacci, Patricia Bouyer, Uli Fahrenberg, Kim G Larsen, Nicolas Markey & Pierre-Alain Reynier (2020):
Optimal and robust controller synthesis using energy timed automata with uncertainty.
Formal Aspects of Computing,
pp. 1–23,
doi:10.1007/s00165-020-00521-4.
Davide Basile, Maurice H ter Beek & Axel Legay (2020):
Strategy Synthesis for Autonomous Driving in a Moving Block Railway System with Uppaal Stratego.
In: International Conference on Formal Techniques for Distributed Objects, Components, and Systems,
pp. 3–21,
doi:10.1007/978-3-030-50086-3_1.
Gerd Behrmann, Agnès Cougnard, Alexandre David, Emmanuel Fleury, Kim G. Larsen & Didier Lime (2007):
UPPAAL-Tiga: Time for Playing Games!.
In: Computer Aided Verification,
pp. 121–125,
doi:10.1007/978-3-540-73368-3_14.
Ahmed Bouajjani, Rachid Echahed & Riadh Robbana (1995):
On the automatic verification of systems with continuous variables and unbounded discrete data structures.
In: Hybrid Systems II,
pp. 64–85,
doi:10.1007/3-540-60472-3_4.
Angelo Brillout, Daniel Kroening & Thomas Wahl (2009):
Mixed abstractions for floating-point arithmetic.
In: 2009 Formal Methods in Computer-Aided Design,
pp. 69–76,
doi:10.1109/fmcad.2009.5351141.
Franck Cassez, Alexandre David, Kim G Larsen, Didier Lime & Jean-François Raskin (2007):
Timed control with observation based and stuttering invariant strategies.
In: International Symposium on Automated Technology for Verification and Analysis,
pp. 192–206,
doi:10.1007/978-3-540-75596-8_15.
S. Dai, M. Hong & B. Guo (2017):
Synthesizing power management strategies for wireless sensor networks with Uppaal-Stratego.
International Journal of Distributed Sensor Networks 13(4),
doi:10.1177/1550147717700900.
Alexandre David, Peter Gjøl Jensen, Kim Guldstrand Larsen, Marius Mikučionis & Jakob Haahr Taankvist (2015):
Uppaal Stratego.
In: 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 G. Larsen, Axel Legay, Marius Mikučionis & Danny B\IeCø gsted Poulsen (2015):
Uppaal SMC tutorial.
International Journal on Software Tools for Technology Transfer 17(4),
pp. 397–415,
doi:10.1007/s10009-014-0361-y.
James Dougherty, Ron Kohavi & Mehran Sahami (1995):
Supervised and Unsupervised Discretization of Continuous Features.
In: Machine Learning Proceedings 1995,
pp. 194–202,
doi:10.1016/b978-1-55860-377-6.50032-3.
Andreas Berre Eriksen, Chao Huang, Jan Kildebogaard, Harry Lahrmann, Kim G. Larsen, Marco Muniz & Jakob Haahr Taankvist (2017):
Uppaal Stratego for Intelligent Traffic Lights.
In: Proceedings of the 12th ITS European Congress.
François Fages & Aurélien Rizk (2009):
From Model-Checking to Temporal Logic Constraint Solving.
In: Principles and Practice of Constraint Programming (CP 2009),
pp. 319–334,
doi:10.1007/978-3-642-04244-7_26.
Bernd Finkbeiner & Hans-Jörg Peter (2012):
Template-based controller synthesis for timed systems.
In: International Conference on Tools and Algorithms for the Construction and Analysis of Systems,
pp. 392–406,
doi:10.1007/978-3-642-28756-5_27.
Thomas A. Henzinger, Peter W. Kopke, Anuj Puri & Pravin Varaiya (1998):
What's Decidable about Hybrid Automata?.
Journal of Computer and System Sciences 57(1),
pp. 94–124,
doi:10.1006/jcss.1998.1581.
Mohamed Gouse Jushiddi, John J. E. Mulvihill, Drahomir Chovan, Aladin Mani, Camelia Shanahan, Christophe Silien, Syed Ansar Md Tofail & Peter Tiernan (2019):
Simulation of biopsy bevel-tipped needle insertion into soft-gel.
Computers in Biology and Medicine 111,
pp. 103–337,
doi:10.1016/j.compbiomed.2019.103337.
S.L. Karra, K.G. Larsen, F. Lorber & J. Srba (2019):
Safe and Time-Optimal Control for Railway Games.
Lecture Notes in Computer Science 11495 LNCS,
pp. 106–122,
doi:10.1007/978-3-030-18744-6_7.
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.
Sascha Lehmann, Antje Rogalla, Maximilian Neidhardt, Alexander Schlaefer & Sibylle Schupp (2021):
Online Strategy Synthesis for Safe and Optimized Control of Steerable Needles.
In: Proceedings of the Third Workshop on Formal Methods for Autonomous Systems 348,
pp. 128–135,
doi:10.4204/EPTCS.348.9.
Thomas Lehmann, Ronald Sloboda, Nawaid Usmani & Mahdi Tavakoli (2018):
Model-Based Needle Steering in Soft Tissue via Lateral Needle Actuation.
IEEE Robotics and Automation Letters 3(4),
pp. 3930–3936,
doi:10.1109/lra.2018.2858001.
Francesco Mercaldo, Fabio Martinelli & Antonella Santone (2019):
Real-Time SCADA Attack Detection by Means of Formal Methods.
In: IEEE 28th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises,
pp. 231–236,
doi:10.1109/WETICE.2019.00057.
Joseph S. Miller (2000):
Decidability and Complexity Results for Timed Automata and Semi-linear Hybrid Automata.
In: Hybrid Systems: Computation and Control,
pp. 296–310,
doi:10.1007/3-540-46430-1_26.
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.
Carlos Rossa, Thomas Lehmann, Ron Sloboda, Nawaid Usmani & Mahdi Tavakoli (2017):
A Data-Driven Soft Sensor for Needle Deflection in Heterogeneous Tissue using Just-in-Time Modelling.
Medical & Biological Engineering & Computing 55(8),
pp. 1401–1414,
doi:10.1007/s11517-016-1599-1.
Stefano Schivo & Rom Langerak (2017):
Discretization of Continuous Dynamical Systems Using UPPAAL.
In: ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday,
pp. 297–315,
doi:10.1007/978-3-319-68270-9_15.
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.