Author:
Cimatti Alessandro,Giunchiglia Enrico,Giunchiglia Fausto,Traverso Paolo
Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. Andrew Baker. Nonmonotonic reasoning in the framework of situation calculus. Artificial Intelligence, 49:5–23, 1991.
2. Avrim Blum and Merrick Furst. Fast planning through planning graph analysis. In Proc. of IJCAI-95, pages 1636–1642, 1995.
3. R. E. Bryant. Symbolic Boolean manipolation with ordered binary-decision diagrams. ACM Computing Surveys, 24(3):293–318, September 1992.
4. J.R. Burch, E.M. Clarke, K.L. McMillan, D.L. Dill, and Hwang L.J. Symbolic model checking: 102° states and beyond. Information and Computation, 98(2):142–170, 1992.
5. E. Clarke, O. Grunberg, and D. Long. Model checking. In Proc. of the International Summer School on Deductive Program Design, Marktoberdorf, 1994.
Cited by
43 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. System Resilience through Health Monitoring and Reconfiguration;ACM Transactions on Cyber-Physical Systems;2024-01-14
2. Temporally extended goal recognition in fully observable non-deterministic domain models;Applied Intelligence;2023-12-14
3. Behavioral QLTL;Multi-Agent Systems;2023
4. Planning via model checking with decision-tree controllers;2022 International Conference on Robotics and Automation (ICRA);2022-05-23
5. FlatPack;Proceedings of the 36th Annual ACM Symposium on Applied Computing;2021-03-22