2 citations · 2 across the 5 of their papers we have counts for
Showing 2026 · cs.LOShow all
2 papers · 2 filters
cs.LO2026
Disintegration Temporal Logic for Probabilistic Hyperproperties
Mishel Carelli, Bernd Finkbeiner
We introduce Disintegration Temporal Logic (DTL), a new probabilistic temporal logic that can express a wide range of probabilistic hyperproperties, including probabilistic non-int…
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…