search result

Cover von Simulation Over One-counter Nets is PSPACE-Complete

Simulation Over One-counter Nets is PSPACE-Complete

Year: 2013
Media group: LIPIcs
Cover von The Power of Counting Steps in Quantitative Games

The Power of Counting Steps in Quantitative Games

Year: 2024
Media group: LIPIcs
OPEN V 11.1.0.0