output
20172026
most citedSwitching quantum reference frames in the N-body problem and the absence of global relational perspectives

60 citations

researchers with a paper here
collaborating institutions
Showing 2022 · cs.LOShow all

2 papers · 2 filters

cs.LO2022

Branch-Well-Structured Transition Systems and Extensions

Benedikt Bollig, Alain Finkel, Amrita Suresh

We propose a relaxation to the definition of well-structured transition systems (\WSTS) while retaining the decidability of boundedness and non-termination. In this class, the well…

cs.LO2022★ 4 cited

Zone-based verification of timed automata: extrapolations, simulations and what next?

Patricia Bouyer, Paul Gastin, Frédéric Herbreteau +2

Timed automata have been introduced by Rajeev Alur and David Dill in the early 90's. In the last decades, timed automata have become the de facto model for the verification of real…