hyperproperties 1markov chains 1measure disintegration 1model checking 1probabilistic temporal logic 1
From the 1 of 3 linked papers with an AI index.
3 papers
cs.LO2026
Disintegration Temporal Logic for Probabilistic Hyperproperties
Mishel Carelli, Bernd Finkbeiner
The paper introduces Disintegration Temporal Logic (DTL), a probabilistic temporal logic that can express probabilistic hyperproperties such as non‑interference and indistinguishab…
cs.LO2026
Loop Termination and Generalized Collatz Sequences
Mishel Carelli
Linear-constraint loops are programs whose transition relation is specified by a system of linear inequalities. The termination problem asks, given a loop, whether it admits an inf…
cs.LO2025
Closure and Complexity of Temporal Causality
Mishel Carelli, Bernd Finkbeiner, Julian Siber
Temporal causality defines what property causes some observed temporal behavior (the effect) in a given computation, based on a counterfactual analysis of similar computations. In…