Author:
Esparza Javier,Heljanko Keijo
Publisher
Springer Berlin Heidelberg
Cited by
23 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Model Checking $$\omega $$-Regular Properties with Decoupled Search;Computer Aided Verification;2021
2. Bibliography;Path Planning of Cooperative Mobile Robots Using Discrete Event Models;2019-12-16
3. Path planning for robotic teams based on LTL specifications and Petri net models;Discrete Event Dynamic Systems;2019-12-02
4. An introduction and review of petri net unfolding technology;Proceedings of the 4th International Conference on Communication and Information Processing - ICCIP '18;2018
5. Verifying CTL with Unfoldings of Petri Nets;Algorithms and Architectures for Parallel Processing;2018