Author of the publication

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

CGMurphi: Automatic synthesis of numerical controllers for nonlinear hybrid systems., , , , and . Eur. J. Control, 19 (1): 14-36 (2013)Verifying Extended Criteria for the Interoperability of Security Devices., , , , , and . OTM Conferences (2), volume 5332 of Lecture Notes in Computer Science, page 1131-1139. Springer, (2008)A New Approach to Plan-Space Explanation: Analyzing Plan-Property Dependencies in Oversubscription Planning., , , , and . AAAI, page 9818-9826. AAAI Press, (2020)Automatic generation of optimal controllers through model checking techniques., , , , , and . ICINCO-ICSO, page 26-33. INSTICC Press, (2006)Counterfactual Explanations for Arbitrary Regression Models., , , , , and . CoRR, (2021)Privacy-Preserving Algorithmic Recourse., , , , and . CoRR, (2023)A Summary of the Twenty-Ninth AAAI Conference on Artificial Intelligence, , , , , , , , , and 9 other author(s). AI Magazine, 36 (3): 99--106 (2015)Automatic Generation of Hybrid Fuzzy/Numerical Controllers.. CIMCA/IAWTIC/ISE, page 946-951. IEEE Computer Society, (2008)Explainable AI Planning (XAIP): Overview and the Case of Contrastive Explanation (Extended Abstract)., and . RW, volume 11810 of Lecture Notes in Computer Science, page 277-282. Springer, (2019)OBDD Compression of Numerical Controllers., , , and . ICINCO-ICSO, page 43-50. INSTICC Press, (2008)