Publications
Filters: First Letter Of Last Name is K [Clear All Filters]
[1558] Sample Gathering Problem for Different Robots with Limited Capacity. ICSTCC'2016: 20th International Conference on System Theory, Control and Computing.
.
2016.
.
2001.
[1328] Application and Theory of Petri Nets 2001. Lecture Notes in Computer Science. 2075
.
2001.
[1278] An Automated Framework for Formal Verification of Timed Continuous Petri Nets. IEEE Transactions on Industrial Informatics. 6(3):471.
.
2010.
[1556] LTL-based Planning in Environments with Probabilistic Observations. IEEE Transactions on Automation Science and Engineering. 12(4)
.
2015.
[1457] A Petri net based approach for multi-robot path planning. Discrete Event Dynamic Systems: Theory and Applications. 24(4)
.
2014.