Export 31 results:
Sort by: Author Title [ Type (Asc)] Year
Filters: First Letter Of Last Name is K  [Clear All Filters]
Conference Paper
Conference Proceedings
[1328] Colom, JM, Koutny M.  2001.  Application and Theory of Petri Nets 2001. Lecture Notes in Computer Science. 2075
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.
[1556] Kloetzer, M, Mahulea C.  2015.  LTL-based Planning in Environments with Probabilistic Observations. IEEE Transactions on Automation Science and Engineering. 12(4)
[1457] Kloetzer, M, Mahulea C.  2014.  A Petri net based approach for multi-robot path planning. Discrete Event Dynamic Systems: Theory and Applications. 24(4)