Counterfactual Causality for Reachability and Safety based on Distance Functions

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung

Beitragende

Details

OriginalspracheEnglisch
TitelProceedings of the Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2023, Udine, Italy, 18-20th September 2023
Redakteure/-innenAntonis Achilleos, Dario Della Monica
Seiten132-149
Seitenumfang18
PublikationsstatusVeröffentlicht - 2023
Peer-Review-StatusJa

Publikationsreihe

ReiheElectronic proceedings in theoretical computer science : EPTCS
Band390

Externe IDs

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

Schlagworte