Filters: Author is M. Kloetzer [Clear All Filters]
 An Automated Framework for Formal Verification of Timed Continuous Petri Nets. IEEE Transactions on Industrial Informatics. 6(3):471.. 2010.
 A Petri net based approach for multi-robot path planning. Discrete Event Dynamic Systems: Theory and Applications.. In Press.
[IPKLMA08] Formal analysis of timed continuous Petri net.. 2008.
 LTL Planning in Dynamic Environments. WODES'12: 11th Int. Workshop on Discrete Event Systems.. 2012.
 Online Petri Net Based Algorithm for Planning and Controlling Mobile Robots. ETFA'2012: 17th IEEE International Conference on Emerging Technologies and Factory Automation.. 2012.
 A Probabilistic Abstraction Approach for Planning and Controlling Mobile Robots. ETFA'2011: 16th IEEE International Conference on Emerging Technologies and Factory Automation.. 2011.