Author of the publication

Analyzing neural network behavior through deep statistical model checking.

, , , , and . Int. J. Softw. Tools Technol. Transf., 25 (3): 407-426 (June 2023)

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

Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in SAT-Based Planning., , and . Logical Methods in Computer Science, (2007)Formally Reasoning about the Cost and Efficacy of Securing the Email Infrastructure., , , , , , and . EuroS&P, page 77-91. IEEE, (2018)On compliance checking for clausal constraints in annotated process models., , and . Inf. Syst. Frontiers, 14 (2): 155-177 (2012)Deep Statistical Model Checking., , , , and . FORTE, volume 12136 of Lecture Notes in Computer Science, page 96-114. Springer, (2020)Der zweite internationale Wettbewerb für Planungssysteme.. Künstliche Intell., 15 (2): 37-38 (2001)How to Relax a Bisimulation?, , and . ICAPS, AAAI, (2012)Where 'Ignoring Delete Lists' Works: Local Search Topology in Planning Benchmarks.. J. Artif. Intell. Res., (2005)Friends or Foes? On Planning as Satisfiability and Abstract CNF Encodings., , and . J. Artif. Intell. Res., (2009)Engineering Benchmarks for Planning: the Domains Used in the Deterministic Part of IPC-4., , , , , and . J. Artif. Intell. Res., (2006)Conformant planning via heuristic forward search: A new approach., and . Artif. Intell., 170 (6-7): 507-541 (2006)