Causality for General LTL-definable Properties

Cite This

Files in this item

Checksum: MD5:1ae2e5bef854a5fae2da598152f288ce

CALTAIS, Georgiana, Sophie Linnea GUETLEIN, Stefan LEUE, 2019. Causality for General LTL-definable Properties. 3rd Workshop on formal reasoning about Causation, Responsibility, and Explanations in Science and Technology : CREST 2018. Thessaloniki, Greece, Mar 21, 2018. In: FINKBEINER, Bernd, ed., Samantha KLEINBERG, ed.. Proceedings 3rd Workshop on formal reasoning about Causation, Responsibility, and Explanations in Science and Technology : CREST 2018, pp. 1-15. eISSN 2075-2180. Available under: doi: 10.4204/EPTCS.286.1

@inproceedings{Caltais2019Causa-47110, title={Causality for General LTL-definable Properties}, year={2019}, doi={10.4204/EPTCS.286.1}, number={286}, series={Electronic Proceedings in Theoretical Computer Science}, booktitle={Proceedings 3rd Workshop on formal reasoning about Causation, Responsibility, and Explanations in Science and Technology : CREST 2018}, pages={1--15}, editor={Finkbeiner, Bernd and Kleinberg, Samantha}, author={Caltais, Georgiana and Guetlein, Sophie Linnea and Leue, Stefan} }

<rdf:RDF xmlns:dcterms="http://purl.org/dc/terms/" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:bibo="http://purl.org/ontology/bibo/" xmlns:dspace="http://digital-repositories.org/ontologies/dspace/0.1.0#" xmlns:foaf="http://xmlns.com/foaf/0.1/" xmlns:void="http://rdfs.org/ns/void#" xmlns:xsd="http://www.w3.org/2001/XMLSchema#" > <rdf:Description rdf:about="https://kops.uni-konstanz.de/rdf/resource/123456789/47110"> <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2019-10-02T10:20:29Z</dcterms:available> <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/43615"/> <dc:contributor>Leue, Stefan</dc:contributor> <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/36"/> <dc:creator>Caltais, Georgiana</dc:creator> <dspace:hasBitstream rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/47110/1/Caltais_2-1ufwi8yvlv1a61.pdf"/> <dc:contributor>Caltais, Georgiana</dc:contributor> <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/43615"/> <dcterms:abstract xml:lang="eng">In this paper we provide a notion of causality for the violation of general Linear Temporal Logic (LTL) properties. The current work is a natural extension of the previously proposed approach handling causality in the context of LTL-definable safety properties. The major difference is that now, counterexamples of general LTL properties are not merely finite traces, but infinite lasso-shaped traces. We analyze such infinite counterexamples and identify the relevant ordered occurrences of causal events, obtained by unfolding the looping part of the lasso shaped counterexample sufficiently many times. The focus is on LTL properties from practical considerations: the current results are to be implemented in QuantUM, a tool for causality checking, that exploits explicit state LTL model checking.</dcterms:abstract> <dcterms:hasPart rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/47110/1/Caltais_2-1ufwi8yvlv1a61.pdf"/> <dcterms:issued>2019</dcterms:issued> <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/36"/> <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/> <dcterms:title>Causality for General LTL-definable Properties</dcterms:title> <bibo:uri rdf:resource="https://kops.uni-konstanz.de/handle/123456789/47110"/> <dc:contributor>Guetlein, Sophie Linnea</dc:contributor> <dc:creator>Leue, Stefan</dc:creator> <dc:language>eng</dc:language> <foaf:homepage rdf:resource="http://localhost:8080/jspui"/> <dcterms:rights rdf:resource="https://kops.uni-konstanz.de/page/termsofuse"/> <dc:creator>Guetlein, Sophie Linnea</dc:creator> <dc:rights>terms-of-use</dc:rights> <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2019-10-02T10:20:29Z</dc:date> </rdf:Description> </rdf:RDF>

Downloads since Oct 2, 2019 (Information about access statistics)

Caltais_2-1ufwi8yvlv1a61.pdf 15

This item appears in the following Collection(s)

Search KOPS


Browse

My Account