Author of the publication

Towards Dynamic Dependable Systems Through Evidence-Based Continuous Certification.

, , , , , , , and . ISoLA (2), volume 12477 of Lecture Notes in Computer Science, page 416-439. Springer, (2020)

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

Simulated Penetration Testing as Contingent Planning., , , and . ICAPS, page 241-249. AAAI Press, (2018)Search and Learn: On Dead-End Detectors, the Traps they Set, and Trap Learning., and . IJCAI, page 4398-4404. ijcai.org, (2017)Safe Handover in Mixed-Initiative Control for Cyber-Physical Systems., , , , , , , , , and . CoRR, (2020)Pattern Databases for Goal-Probability Maximization in Probabilistic Planning., , , and . ICAPS, page 201-209. AAAI Press, (2021)Debugging a Policy: Automatic Action-Policy Testing in AI Planning., , , , , , , , , and 1 other author(s). ICAPS, page 353-361. AAAI Press, (2022)Neural Network Action Policy Verification via Predicate Abstraction., , and . ICAPS, page 371-379. AAAI Press, (2022)Pattern Selection Strategies for Pattern Databases in Probabilistic Planning., , , and . ICAPS, page 184-192. AAAI Press, (2022)Lifted Stackelberg Planning., , , and . ICAPS, page 370-374. AAAI Press, (2023)A Theory of Merge-and-Shrink for Stochastic Shortest Path Problems., , , and . ICAPS, page 203-211. AAAI Press, (2023)Beyond Red-Black Planning: Limited-Memory State Variables., , , , and . ICAPS, page 269-273. AAAI Press, (2017)