Author:
Barrett Clark,de Moura Leonardo,Ranise Silvio,Stump Aaron,Tinelli Cesare
Publisher
Springer Berlin Heidelberg
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Transformation eines Fähigkeitsmodells in einen PDDL-Planungsansatz;at - Automatisierungstechnik;2023-02-01
2. A Research Agenda for AI Planning in the Field of Flexible Production Systems;2022 IEEE 5th International Conference on Industrial Cyber-Physical Systems (ICPS);2022-05-24
3. Transition Power Abstractions for Deep Counterexample Detection;Tools and Algorithms for the Construction and Analysis of Systems;2022
4. A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic;Tools and Algorithms for the Construction and Analysis of Systems;2022
5. Using linear algebra in decomposition of Farkas interpolants;International Journal on Software Tools for Technology Transfer;2021-08-05