@article(alur1995algorithmic,
 author       = {Rajeev Alur and Costas Courcoubetis and Nicolas Halbwachs and Thomas A Henzinger and Pei-Hsin Ho and Xavier Nicollin and Alfredo Olivero and Joseph Sifakis and Sergio Yovine},
 year         = {1995},
 title        = {The algorithmic analysis of hybrid systems},
 journal      = {Theoretical computer science},
 volume       = {138},
 number       = {1},
 pages        = {3--34},
 doi          = {10.1016/0304-3975(94)00202-T},
)
@article(aniculaesei2016towards,
 author       = {Adina Aniculaesei and Daniel Arnsberger and Falk Howar and Andreas Rausch},
 year         = {2016},
 title        = {Towards the verification of safety-critical autonomous systems in dynamic environments},
 journal      = {arXiv preprint arXiv:1612.04977},
 doi          = {10.4204/EPTCS.232.10},
)
@inproceedings(arai2017model,
 author       = {Ryota Arai and H Schlingloff},
 year         = {2017},
 title        = {Model-based performance prediction by statistical model checking an industrial case study of autonomous transport robots},
 booktitle    = {Proc. 25th CS\&P 2017-Concurrency, Specification and Programming.},
)
@inproceedings(behrmann2004tutorial,
 author       = {Gerd Behrmann and Alexandre David and Kim G Larsen},
 year         = {2004},
 title        = {A tutorial on {Uppaal}},
 booktitle    = {Formal methods for the design of real-time systems},
 organization = {Springer},
 pages        = {200--236},
 doi          = {10.1007/s100090050010},
)
@inproceedings(chettibi2006suboptimal,
 author       = {Taha Chettibi and Moussa Haddad and HE Lehtihet and Wisama Khalil},
 year         = {2006},
 title        = {Suboptimal trajectory generation for industrial robots using trapezoidal velocity profiles},
 booktitle    = {2006 IEEE/RSJ International Conference on Intelligent Robots and Systems},
 organization = {IEEE},
 pages        = {729--735},
 doi          = {10.1109/IROS.2006.282621},
)
@article(david2015uppaal,
 author       = {Alexandre David and Kim G Larsen and Axel Legay and Miku{\v{c}}ionis, Marius and Danny B{\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},
)
@inproceedings(foughali2017toward,
 author       = {Mohammed Foughali},
 year         = {2017},
 title        = {Toward a correct-and-scalable verification of concurrent robotic systems: insights on formalisms and tools},
 booktitle    = {2017 17th International Conference on Application of Concurrency to System Design (ACSD)},
 organization = {IEEE},
 pages        = {29--38},
 doi          = {10.1109/ACSD.2017.10},
)
@inproceedings(foughali2019statistical,
 author       = {Mohammed Foughali and F{\'e}lix Ingrand and Cristina Seceleanu},
 year         = {2019},
 title        = {Statistical model checking of complex robotic systems},
 booktitle    = {International Symposium on Model Checking Software},
 organization = {Springer},
 pages        = {114--134},
 doi          = {10.1016/S1571-0661(05)80435-9},
)
@book(furia2012modeling,
 author       = {Carlo A Furia and Dino Mandrioli and Angelo Morzenti and Matteo Rossi},
 year         = {2012},
 title        = {Modeling time in computing},
 publisher    = {Springer Science \& Business Media},
 doi          = {10.1007/978-3-642-32332-4},
)
@article(gordienko2017deep,
 author       = {Yuri Gordienko and Sergii Stirenko and Yuriy Kochura and Oleg Alienin and Michail Novotarskiy and Nikita Gordienko},
 year         = {2017},
 title        = {Deep learning for fatigue estimation on the basis of multimodal human-machine interactions},
 journal      = {arXiv preprint arXiv:1801.06048},
)
@inproceedings(halder2017formal,
 author       = {Raju Halder and Proen{\c{c}}a, Jos{\'e} and Nuno Macedo and Andr{\'e} Santos},
 year         = {2017},
 title        = {Formal verification of {ROS}-based robotic applications using timed-automata},
 booktitle    = {2017 IEEE/ACM 5th International FME Workshop on Formal Methods in Software Engineering (FormaliSE)},
 organization = {IEEE},
 pages        = {44--50},
 doi          = {10.1109/FormaliSE.2017.9},
)
@book(ISO:13482,
 author       = {{{ISO} 13482}},
 year         = {2014},
 title        = {{Robots and robotic devices - Safety requirements for personal care robots}},
 publisher    = {International Organization for Standardization},
)
@article(jaber2013incorporating,
 author       = {Mohamad Y Jaber and ZS Givi and W Patrick Neumann},
 year         = {2013},
 title        = {Incorporating human fatigue and recovery into the learning--forgetting process},
 journal      = {Applied Mathematical Modelling},
 volume       = {37},
 number       = {12-13},
 pages        = {7287--7299},
 doi          = {10.1016/j.apm.2013.02.028},
)
@inproceedings(jacobs2014iso,
 author       = {Theo Jacobs and Gurvinder Singh Virk},
 year         = {2014},
 title        = {{ISO} 13482 - {The} new safety standard for personal care robots},
 booktitle    = {ISR/Robotik 2014; 41st International Symposium on Robotics},
 organization = {VDE},
 pages        = {1--6},
)
@article(konz2000work,
 author       = {Stephan Konz},
 year         = {2000},
 title        = {Work/rest: Part ii-the scientific basis (knowledge base) for the guide 1},
 journal      = {Ergonomics Guidelines and Problem Solving},
 volume       = {1},
 number       = {401},
 pages        = {38},
)
@inproceedings(li2017formal,
 author       = {Xinxin Li and Rui Wang and Yu Jiang and Yong Guan and Xiaojuan Li and Xiaoyu Song},
 year         = {2017},
 title        = {Formal modeling and automatic code synthesis for robot system},
 booktitle    = {2017 22nd International Conference on Engineering of Complex Computer Systems (ICECCS)},
 organization = {IEEE},
 pages        = {146--149},
 doi          = {10.1109/ICECCS.2017.17},
)
@article(molnar2011hybrid,
 author       = {Levente Molnar and Sandor M Veres},
 year         = {2011},
 title        = {Hybrid automata dicretising agents for formal modelling of robots},
 journal      = {IFAC Proceedings Volumes},
 volume       = {44},
 number       = {1},
 pages        = {49--54},
 doi          = {10.3182/20110828-6-IT-1002.03022},
)
@inproceedings(tremblay2007generic,
 author       = {Olivier Tremblay and Louis-A Dessaint and Abdel-Illah Dekkiche},
 year         = {2007},
 title        = {A generic battery model for the dynamic simulation of hybrid electric vehicles},
 booktitle    = {2007 IEEE Vehicle Power and Propulsion Conference},
 organization = {Ieee},
 pages        = {284--289},
 doi          = {10.1109/VPPC.2007.4544139},
)
@incollection(virk2008iso,
 author       = {GS Virk and S Moon and R Gelin},
 year         = {2008},
 title        = {{ISO} standards for service robots},
 booktitle    = {Advances In Mobile Robotics},
 publisher    = {World Scientific},
 pages        = {133--138},
 doi          = {10.1142/9789812835772_0016},
)
@article(wang2018formal,
 author       = {Rui Wang and Yong Guan and Houbing Song and Xinxin Li and Xiaojuan Li and Zhiping Shi and Xiaoyu Song},
 year         = {2018},
 title        = {A formal model-based design method for robotic systems},
 journal      = {IEEE Systems Journal},
 volume       = {13},
 number       = {1},
 pages        = {1096--1107},
 doi          = {10.1109/JSYST.2018.2867285},
)
@inproceedings(webster2014formal,
 author       = {Matt Webster and Clare Dixon and Michael Fisher and Maha Salem and Joe Saunders and Kheng Lee Koay and Kerstin Dautenhahn},
 year         = {2014},
 title        = {Formal verification of an autonomous personal robotic assistant},
 booktitle    = {2014 AAAI Spring Symposium Series},
)
@inproceedings(zhou2016timed,
 author       = {Yuchen Zhou and Dipankar Maity and John S Baras},
 year         = {2016},
 title        = {Timed automata approach for motion planning using metric interval temporal logic},
 booktitle    = {2016 European Control Conference (ECC)},
 organization = {IEEE},
 pages        = {690--695},
 doi          = {10.1109/ECC.2016.7810369},
)