45 citations · 82 across the 16 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
cs.LO2024
A Complete Fragment of LTL(EB)
Flavio Ferrarotti, Peter Rivière, Klaus-Dieter Schewe +2
The verification of liveness conditions is an important aspect of state-based rigorous methods. This article investigates this problem in a fragment LTL of the logic LTL(E…
cs.LO2024★ 1 cited
Choiceless Polynomial Space
Flavio Ferrarotti, Klaus-Dieter Schewe
Abstract State Machines (ASMs) provide a model of computations on structures rather than strings. Blass, Gurevich and Shelah showed that deterministic PTIME-bounded ASMs define the…