search result

Cover von The Complexity of Second-Order HyperLTL

The Complexity of Second-Order HyperLTL

Year: 2025
Media group: LIPIcs
Cover von The Complexity of Second-order HyperLTL
Search for this author
Year: 2024
Publisher: Cornell University, arXiv.org
Media group: ARTICLE
Cover von Parity Games with Weights

Parity Games with Weights

Year: 2018
Media group: LIPIcs
Cover von Synthesizing Optimally Resilient Controllers

Synthesizing Optimally Resilient Controllers

Year: 2018
Media group: LIPIcs
Cover von The First-Order Logic of Hyperproperties

The First-Order Logic of Hyperproperties

Year: 2017
Media group: LIPIcs
Cover von Degrees of Lookahead in Context-free Infinite Games

Degrees of Lookahead in Context-free Infinite Games

Year: 2011
Media group: LIPIcs
Cover von The Complexity of Counting Models of Linear-time Temporal Logic

The Complexity of Counting Models of Linear-time Temporal Logic

Year: 2014
Media group: LIPIcs
Cover von Cost-Parity and Cost-Streett Games

Cost-Parity and Cost-Streett Games

Year: 2012
Media group: ARTICLE
Cover von Optimally Resilient Strategies in Pushdown Safety Games

Optimally Resilient Strategies in Pushdown Safety Games

Year: 2020
Media group: LIPIcs
Cover von Parity to Safety in Polynomial Time for Pushdown and Collapsible Pushdown Systems

Parity to Safety in Polynomial Time for Pushdown and Collapsible Pushdown Systems

Year: 2018
Media group: LIPIcs
OPEN V 11.1.0.0