Israa AlAttili, Fred Houben, Georgeta Igna, Steffen Michels, Feng Zhu & Frits Vaandrager (2009):
Adaptive Scheduling of Data Paths using Uppaal Tiga.
Electronic Proceedings in Theoretical Computer Science 13,
pp. 1–11,
doi:10.4204/EPTCS.13.1.
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.
Gerd Behrmann, Agnès Cougnard, Alexandre David, Emmanuel Fleury, Kim G. Larsen & Didier Lime (2007):
UPPAAL-Tiga: Time for Playing Games!.
In: Werner Damm & Holger Hermanns: Computer Aided Verification.
Springer Berlin Heidelberg,
Berlin, Heidelberg,
pp. 121–125,
doi:10.1007/978-3-540-73368-3_14.
Gary Bradski & Adrian Kaehler (2000):
The OpenCV Library.
Dr. Dobb’s journal of software tools 3.
Franck Cassez, Alexandre David, Emmanuel Fleury, Kim G. Larsen & Didier Lime (2005):
Efficient On-the-Fly Algorithms for the Analysis of Timed Games.
In: Martín Abadi & Luca de Alfaro: CONCUR 2005 – Concurrency Theory.
Springer Berlin Heidelberg,
Berlin, Heidelberg,
pp. 66–80,
doi:10.1007/11539452_9.
Franck Cassez, Jan J. Jessen, Kim G. Larsen, Jean-François Raskin & Pierre-Alain Reynier (2009):
Automatic Synthesis of Robust and Optimal Controllers – An Industrial Case Study.
In: Rupak Majumdar & Paulo Tabuada: Hybrid Systems: Computation and Control.
Springer Berlin Heidelberg,
Berlin, Heidelberg,
pp. 90–104,
doi:10.1007/978-3-642-00602-9_7.
Noah J. Cowan, Ken Goldberg, Gregory S. Chirikjian, Gabor Fichtinger, Ron Alterovitz, Kyle B. Reed, Vinutha Kallem, Wooram Park, Sarthak Misra & Allison M. Okamura (2011):
Robotic Needle Steering: Design, Modeling, Planning, and Image Guidance,
pp. 557–582.
Springer US,
doi:10.1007/978-1-4419-1126-1_23.
Alexandre David, Peter Gjøl Jensen, Kim Guldstrand Larsen, Marius Mikučionis & Jakob Haahr Taankvist (2015):
Uppaal Stratego.
In: Christel Baier & Cesare Tinelli: Tools and Algorithms for the Construction and Analysis of Systems.
Springer Berlin Heidelberg,
Berlin, Heidelberg,
pp. 206–211,
doi:10.1007/978-3-662-46681-0_16.
Vincent Duindam, Jijie Xu, Ron Alterovitz, Shankar Sastry & Ken Goldberg (2010):
Three-dimensional Motion Planning Algorithms for Steerable Needles Using Inverse Kinematics.
The International Journal of Robotics Research 29(7),
pp. 789–800,
doi:10.1177/0278364909352202.
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, Strasbourg, France, 19-22 June.
Marco Faella, Salvatore La Torre & Aniello Murano (2014):
Automata-Theoretic Decision of Timed Games.
Theoretical Computer Science 515,
pp. 46–63,
doi:10.1016/j.tcs.2013.08.021.
Mengyu Fu, Alan Kuntz, Robert J. Webster & Ron Alterovitz (2018):
Safe Motion Planning for Steerable Needles Using Cost Maps Automatically Extracted from Pulmonary Images.
In: 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2018, Madrid, Spain, October 1-5, 2018,
pp. 4942–4949,
doi:10.1109/IROS.2018.8593407.
Jan Jakoh Jessen, Jacob Illum Rasmussen, Kim G. Larsen & Alexandre David (2007):
Guided Controller Synthesis for Climate Controller Using Uppaal Tiga.
In: Jean-François Raskin & P. S. Thiagarajan: Formal Modeling and Analysis of Timed Systems.
Springer Berlin Heidelberg,
Berlin, Heidelberg,
pp. 227–240,
doi:10.1007/978-3-540-75454-1_17.
Fangde Liu, Arnau Garriga-Casanovas, Riccardo Secoli & Ferdinando Rodriguez y Baena (2016):
Fast and Adaptive Fractal Tree-Based Path Planning for Programmable Bevel Tip Steerable Needles.
IEEE Robotics and Automation Letters 1(2),
pp. 601–608,
doi:10.1109/LRA.2016.2528292.
Marlene Pinzi, Stefano Galvan & Ferdinando Rodriguez y Baena (2019):
The Adaptive Hermite Fractal Tree (AHFT): a novel surgical 3D path planning approach with curvature and heading constraints.
International journal of computer assisted radiology and surgery 14(4),
pp. 659–670,
doi:10.1007/s11548-019-01923-3.
Navid Shahriari, Wout Heerink, Tim van Katwijk, Edsko Hekman, Matthijs Oudkerk & Sarthak Misra (2017):
Computed tomography (CT)-compatible remote center of motion needle steering robot: Fusing CT images and electromagnetic sensor data.
Medical Engineering & Physics 45,
pp. 71 – 77,
doi:10.1016/j.medengphy.2017.04.009.
Wen Sun, Jur van den Berg & Ron Alterovitz (2016):
Stochastic Extended LQR for Optimization-Based Motion Planning Under Uncertaint.
IEEE Transactions on Automation Science and Engineering 13(2),
pp. 437–447,
doi:10.1109/TASE.2016.2517124.
Wen Sun, Sachin Patil & Ron Alterovitz (2015):
High-Frequency Replanning Under Uncertainty Using Parallel Sampling-Based Motion Planning.
IEEE Transactions on Robotics 31(1),
pp. 104–116,
doi:10.1109/TRO.2014.2380273.
Nick J Van De Berg, Tonke L De Jong, Dennis J Van Gerwen, Jenny Dankelman & John J Van Den Dobbelsteen (2017):
The influence of tip shape on bending force during needle insertion.
Scientific reports 7, 40477,
doi:10.1038/srep40477.
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.
eptcs@eptcs.org