Author of the publication

K⁎: A heuristic search algorithm for finding the k shortest paths.

, and . Artif. Intell., 175 (18): 2129-2154 (2011)

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)Verifying Global Neural Network Specifications using Hyperproperties., and . CoRR, (2023)K⁎: A heuristic search algorithm for finding the k shortest paths., and . Artif. Intell., 175 (18): 2129-2154 (2011)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)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)symQV: Automated Symbolic Verification of Quantum Programs., , and . FM, volume 14000 of Lecture Notes in Computer Science, page 181-198. Springer, (2023)