Author:
Ciardo Gianfranco,Siminiceanu Radu
Publisher
Springer Berlin Heidelberg
Cited by
22 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Reducing the computational effort of symbolic supervisor synthesis;Discrete Event Dynamic Systems;2024-09-12
2. Research Directions in Decision Diagram Technology;2023 IEEE John Vincent Atanasoff International Symposium on Modern Computing (JVA);2023-07-05
3. An Empirical Study of the Usefulness of State-Dependent Action Costs in Planning;KI 2019: Advances in Artificial Intelligence;2019
4. Generation of Minimum Tree-Like Witnesses for Existential CTL;Tools and Algorithms for the Construction and Analysis of Systems;2018
5. Symbolic Model Checking for Avionics;Formal Methods for Industrial Critical Systems;2012-11-29