Counterfactual Causality for Reachability and Safety based on Distance Functions

Research output: Contribution to book/conference proceedings/anthology/report › Conference contribution › Contributed › peer-review

Contributors

Details

Original languageEnglish
Title of host publicationProceedings of the Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2023, Udine, Italy, 18-20th September 2023
EditorsAntonis Achilleos, Dario Della Monica
Pages132-149
Number of pages18
Publication statusPublished - 2023
Peer-reviewedYes

Publication series

SeriesElectronic proceedings in theoretical computer science : EPTCS
Volume390

External IDs

Scopus 85174528583
ORCID /0000-0002-5321-9343/work/155290605

Keywords