Author of the publication

Optimal Planning Modulo Theories.

, , , and . IJCAI, page 4128-4134. ijcai.org, (2020)Scheduled for July 2020, Yokohama, Japan, postponed due to the Corona pandemic..

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Optimisation of Concentrating Solar Thermal Power Plants with Neural Networks., , and . ICANNGA (1), volume 6593 of Lecture Notes in Computer Science, page 190-199. Springer, (2011)I-RiSC: An SMT-Compliant Solver for the Existential Fragment of Real Algebra., and . CAI, volume 6742 of Lecture Notes in Computer Science, page 230-246. Springer, (2011)Divide and Conquer: Variable Set Separation in Hybrid Systems Reachability Analysis., , and . QAPL@ETAPS, volume 250 of EPTCS, page 1-14. (2017)On the Proof Complexity of MCSAT., , and . SC-square@SIAM AG, volume 2460 of CEUR Workshop Proceedings, CEUR-WS.org, (2019)GiNaCRA: A C++ Library for Real Algebraic Computations., and . NASA Formal Methods, volume 6617 of Lecture Notes in Computer Science, page 512-517. Springer, (2011)Object-Oriented Formal Modeling and Analysis of Interacting Hybrid Systems in HI-Maude., , and . SEFM, volume 7041 of Lecture Notes in Computer Science, page 415-430. Springer, (2011)Symbolic Computation and Satisfiability Checking (Dagstuhl Seminar 15471)., , , and . Dagstuhl Reports, 5 (11): 71-89 (2015)On the proof complexity of MCSAT., , and . CoRR, (2021)Automated Exercise Generation for Satisfiability Checking., , and . FMTea, volume 13962 of Lecture Notes in Computer Science, page 1-16. Springer, (2023)Parameter Synthesis for Markov Models., , , , , , and . CoRR, (2019)