Wissenschaftliche Mitarbeiter
M. Sc. Tanittha Sutjaritvorakul
| Telefon: | 0631 205-3143 |
| Raum: | 48-368 |
| Mail: | tanitthainformatik.uni-klde |
Vita
Tanittha Sutjaritvorakul ist Forschungsassistentin im Robotics Research Lab an der Technischen Universität Kaiserslautern. Ihre Forschungsarbeit konzentriert sich inbesondere auf die Objektverfolgung mittels einer Kamera für ein Outdoor-Fahrzeug. Sie erhielt ihren M.Sc. in Elektrotechnik und Informationstechnik an der Technischen Universität Kaiserslautern (2015) für eine Arbeit zum Thema "Multiple Pedestrian Tracking", die unter Aufsicht von Professor Dr. Karsten Berns angefertigt wurde.
Veröffentlichungen
2017
Quality-Based Behavior-Based Control for Autonomous Robots in Rough Environments Proceedings of the 14th International Conference on Informatics in Control, Automation and Robotics (ICINCO 2017), SCITEPRESS -- Science and Technology Publications, Lda, vol. 1, pp. 513--524, INSTICC, 2017, July 26--28, Madrid, Spain, ISBN: 978-989-758-263-9; DOI: 10.5220/0006481405130524 |
|
A Behavior-based Architecture for Excavation Tasks 34th International Symposium on Automation and Robotics in Construction (ISARC), pp. 1005-1012, International Association for Automation and Robotics in Construction, 2017, June 28-July 1, DOI: https://doi.org/10.22260/ISARC2017/0139 |
2016
|
Verification of Behavior-Based Control Systems in their Physical Environment Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), University of Freiburg, pp. 128-137, 2016, Freiburg, Germany |
2015
|
Soft Robot Control with a Behaviour-Based Architecture Soft Robotics - Transferring Theory to Application, Springer-Verlag, pp. 81--91, 2015 |
2014
|
Verification of Behavior-Based Networks - Using Satisfiability Modulo Theories Proceedings for the joint conference of ISR 2014 and ROBOTIK 2014, VDE VERLAG GMBH, pp. 669--674, 2014 |
2013
|
Quantitative Aspects of Behaviour Network Verification Proceedings of the 26th Canadian Conference on Artificial Intelligence, Springer, vol. 7884, 2013, May 28-31, Regina, Saskatchewan, Canada |
|
Tool-Assisted Verification of Behaviour Networks Proceedings of the 2013 IEEE International Conference on Robotics and Automation (ICRA 2013), pp. 1813--1820, 2013, May 6-10, Karlsruhe, Germany |
2012
|
Verification of Behaviour Networks Using Finite-State Automata KI 2012: Advances in Artificial Intelligence, Springer, 2012, September 24-27, Saarbrücken, Germany, http://www.shaker.de/de/content/catalogue/index.asp?lang=de&ID=8&ISBN=978-3-8440-0798-5 |
|
Graphical Support for the Verification of Behaviour Networks Master's thesis, Robotics Research Lab, Department of Computer Science, University of Kaiserslautern, 2012, Kaiserslautern, Germany, unpublished; supervised by Christopher Armbrust and Lisa Kiekbusch |
2011
|
Modelling of Behaviour-Based Systems thesis of Master's project, 2011, Kaiserslautern, Germany, unpublished; supervised by Christopher Armbrust |
