Author of the publication

An Efficient Algorithm for Computing Causal Trace Sets in Causality Checking.

, and . ATVA, volume 11781 of Lecture Notes in Computer Science, page 171-186. 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

Causality for General LTL-definable Properties., , and . CREST@ETAPS, volume 286 of EPTCS, page 1-15. (2018)Causal Reasoning in Systems (NII Shonan Meeting 139)., , and . NII Shonan Meet. Rep., (2019)A Robust Optimisation Perspective on Counterexample-Guided Repair of Neural Networks., , and . ICML, volume 202 of Proceedings of Machine Learning Research, page 2712-2737. PMLR, (2023)From SysML to Model Checkers via Model Transformation., , and . SPIN, volume 10869 of Lecture Notes in Computer Science, page 255-274. Springer, (2018)An Efficient Algorithm for Computing Causal Trace Sets in Causality Checking., and . ATVA, volume 11781 of Lecture Notes in Computer Science, page 171-186. Springer, (2019)K⁎: A heuristic search algorithm for finding the k shortest paths., and . Artif. Intell., 175 (18): 2129-2154 (2011)Verifying Global Neural Network Specifications using Hyperproperties., and . FoMLAS@CAV, volume 16 of Kalpa Publications in Computing, page 71-82. EasyChair, (2023)TarTar: A Timed Automata Repair Tool., , and . CAV (1), volume 12224 of Lecture Notes in Computer Science, page 529-540. Springer, (2020)symQV: Automated Symbolic Verification of Quantum Programs., , and . CoRR, (2022)DeepOpt: Scalable Specification-based Falsification of Neural Networks using Black-Box Optimization., , and . CoRR, (2021)