search result

Cover von Maximum Rooted Connected Expansion

Maximum Rooted Connected Expansion

Year: 2018
Media group: LIPIcs
Cover von Bounded synthesis

Bounded synthesis

article
Year: 2013
Synthesis
Media group: ARTICLE
Cover von Asymmetrically Discounted Stochastic Games

Asymmetrically Discounted Stochastic Games

Year: 2026
Media group: LIPIcs
Cover von Word Automata with Limited Nondeterminism (Invited Talk)

Word Automata with Limited Nondeterminism (Invited Talk)

Year: 2026
Media group: LIPIcs
Cover von Simple Nash Equilibria for Qualitative Multiplayer Games

Simple Nash Equilibria for Qualitative Multiplayer Games

Year: 2026
Media group: LIPIcs
Cover von Singly Exponential Translation of Alternating Weak Büchi Automata to Unambiguous Büchi Automata

Singly Exponential Translation of Alternating Weak Büchi Automata to Unambiguous Büchi Automata

Year: 2023
Media group: LIPIcs
Cover von Deciding What Is Good-For-MDPs

Deciding What Is Good-For-MDPs

Year: 2023
Media group: LIPIcs
Cover von Front Matter, Table of Contents, Preface, Organization, List of Authors

Front Matter, Table of Contents, Preface, Organization, List of Authors

Year: 2017
Media group: LIPIcs
Cover von 24th International Symposium on Temporal Representation and Reasoning
TIME 2017, October 16 - 18, 2017, Mons, Belgium
Search for this author
Year: 2017
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 90
Media group: LIPIcs
Cover von Bounded Satisfiability for PCTL

Bounded Satisfiability for PCTL

Year: 2012
Media group: ARTICLE
OPEN V 11.1.0.0