Publications

Export 7 results:
Sort by: [ Author (Desc)] Title Type Year
Filters: First Letter Of Last Name is K  [Clear All Filters]
A B C D E F G H I J [K] L M N O P Q R S T U V W X Y Z   [Show ALL]
C
[1328] Colom, JM, Koutny M.  2001.  Application and Theory of Petri Nets 2001. Lecture Notes in Computer Science. 2075
K
[IPKLMA08] Kloetzer, M, Mahulea C, Belta C, Recalde L, Silva M.  2008.  Formal analysis of timed continuous Petri net.
[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.
[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.
M
[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.
K
[1449] Kloetzer, M, Mahulea C.  2012.  LTL Planning in Dynamic Environments. WODES'12: 11th Int. Workshop on Discrete Event Systems.
[1457] Kloetzer, M, Mahulea C.  In Press.  A Petri net based approach for multi-robot path planning. Discrete Event Dynamic Systems: Theory and Applications.