Patrick Totzke

activity

20122026

most citedSimulation Problems Over One-Counter Nets

20 citations · 41 across the 31 of their papers we have counts for

collaborators

Showing 2021Show all

2 papers · 1 filter

cs.LO2021

HyperLTL Satisfiability is $Σ_{1}^{1}$ -complete, HyperCTL* Satisfiability is $Σ_{1}^{2}$ -complete

Marie Fortin, Louwe B. Kuijer, Patrick Totzke +1

Temporal logics for the specification of information-flow properties are able to express relations between multiple executions of a system. The two most important such logics are H…

cs.GT2021

Simple Stochastic Games with Almost-Sure Energy-Parity Objectives are in NP and coNP

Richard Mayr, Sven Schewe, Patrick Totzke +1

We study stochastic games with energy-parity objectives, which combine quantitative rewards with a qualitative $ω$ -regular condition: The maximizer aims to avoid running out of ene…

HyperLTL Satisfiability is Σ11​-complete, HyperCTL* Satisfiability is Σ12​-complete

Simple Stochastic Games with Almost-Sure Energy-Parity Objectives are in NP and coNP

HyperLTL Satisfiability is $Σ_{1}^{1}$ -complete, HyperCTL* Satisfiability is $Σ_{1}^{2}$ -complete