Publications

Export 6 results:
Sort by: Author Title [ Type (Desc)] Year
Filters: Author is M. Kloetzer  [Clear All Filters]
Journal Article
[1278] Kloetzer, M, Mahulea C, Belta C, Silva M.  2010.  An Automated Framework for Formal Verification of Timed Continuous Petri Nets. IEEE Transactions on Industrial Informatics. 6(3):471.
[1457] Kloetzer, M, Mahulea C.  In Press.  A Petri net based approach for multi-robot path planning. Discrete Event Dynamic Systems: Theory and Applications.
Conference Paper
[IPKLMA08] Kloetzer, M, Mahulea C, Belta C, Recalde L, Silva M.  2008.  Formal analysis of timed continuous Petri net.
[1449] Kloetzer, M, Mahulea C.  2012.  LTL Planning in Dynamic Environments. WODES'12: 11th Int. Workshop on Discrete Event Systems.
[1447] Mahulea, C, Kloetzer M.  2012.  Online Petri Net Based Algorithm for Planning and Controlling Mobile Robots. ETFA'2012: 17th IEEE International Conference on Emerging Technologies and Factory Automation.
[1444] Kloetzer, M, Mahulea C, Pastravanu O.  2011.  A Probabilistic Abstraction Approach for Planning and Controlling Mobile Robots. ETFA'2011: 16th IEEE International Conference on Emerging Technologies and Factory Automation.