Author of the publication

The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models - (QComp 2019 Competition Report).

, , , , , , , , , and . TACAS (3), volume 11429 of Lecture Notes in Computer Science, page 69-92. Springer, (2019)

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

Search and Learn: On Dead-End Detectors, the Traps they Set, and Trap Learning., and . IJCAI, page 4398-4404. ijcai.org, (2017)Towards automated network mitigation analysis., , , , and . SAC, page 1971-1978. ACM, (2019)Partial Delete Relaxation, Unchained: On Intractable Red-Black Planning and Its Applications., , , , , and . SOCS, page 45-53. AAAI Press, (2016)Combining the Delete Relaxation with Critical-Path Heuristics: A Direct Characterization., , and . J. Artif. Intell. Res., (2016)Towards Clause-Learning State Space Search: Learning to Recognize Dead-Ends., and . AAAI, page 760-768. AAAI Press, (2016)Revisiting Goal Probability Analysis in Probabilistic Planning., , and . ICAPS, page 299-307. AAAI Press, (2016)LP Heuristics over Conjunctions: Compilation, Convergence, Nogood Learning., and . IJCAI, page 4837-4843. ijcai.org, (2018)The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models - (QComp 2019 Competition Report)., , , , , , , , , and . TACAS (3), volume 11429 of Lecture Notes in Computer Science, page 69-92. Springer, (2019)Simulated Penetration Testing and Mitigation Analysis., , , , and . CoRR, (2017)Bridging the Gap between Abstractions and Critical-Path Heuristics via Hypergraphs., and . ICAPS, page 473-481. AAAI Press, (2019)