58 citations
- Saarland UniversityDE15 papers
- Ruhr University BochumDE11 papers
- Max Planck Institute for InformaticsDE8 papers
- Max Planck Institute for Security and PrivacyDE7 papers
- Leibniz University HannoverDE6 papers
- Technical University of MunichDE5 papers
- Centre National de la Recherche ScientifiqueFR4 papers
- KU LeuvenBE4 papers
- Purdue University West LafayetteUS4 papers
- Technische Universität BerlinDE4 papers
- Arizona State UniversityUS3 papers
- École Polytechnique Fédérale de LausanneCH3 papers
Showing 2023 · cs.LOShow all
2 papers · 2 filters
cs.LO2023★ 6 cited
Counterfactuals Modulo Temporal Logics
Bernd Finkbeiner, Julian Siber
Lewis' theory of counterfactuals is the foundation of many contemporary notions of causality. In this paper, we extend this theory in the temporal direction to enable symbolic coun…
cs.LO2023★ 3 cited
Parameterized Verification of Disjunctive Timed Networks
Étienne André, Paul Eichler, Swen Jacobs +1
We introduce new techniques for the parameterized verification of disjunctive timed networks (DTNs), i.e., networks of timed automata (TAs) that communicate via location guards tha…