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