search result

Cover von The complexity of analyzing infinite-state Markov chains, Markov decision processes, and stochastic games

The complexity of analyzing infinite-state Markov chains, Markov decision processes, and stochastic games

(Invited talk)
Year: 2013
Media group: ARTICLE
Cover von One-Counter Stochastic Games

One-Counter Stochastic Games

Year: 2010
Media group: ARTICLE
Cover von Computer aided verification
17th international conference, Edinburgh, Scotland, UK, July 6 - 10, 2005 : proceedings
Search for this author
Year: 2005
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 3576
Media group: MONOGRAPHIE
Cover von Front Matter, Table of Contents, Preface, Conference Organization

Front Matter, Table of Contents, Preface, Conference Organization

Year: 2023
Media group: LIPIcs
Cover von LIPIcs, Volume 261, ICALP 2023, Complete Volume

LIPIcs, Volume 261, ICALP 2023, Complete Volume

Year: 2023
Media group: LIPIcs
Cover von 50th International Colloquium on Automata, Languages, and Programming
ICALP 2023 : July 10 - 14, 2023, Paderborn, Germany
Search for this author
Year: 2023
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 261
Media group: LIPIcs
Cover von Reachability for Branching Concurrent Stochastic Games

Reachability for Branching Concurrent Stochastic Games

Year: 2019
Media group: LIPIcs
Cover von Finite and Algorithmic Model Theory; 1
pp. 101-118
Search for this author
Year: 2022
Publisher: Wadern, LZI
Dagstuhl Reports
Count: 1
Media group: DAGSTUHL REPORT
Cover von Tarski's Theorem, Supermodular Games, and the Complexity of Equilibria

Tarski's Theorem, Supermodular Games, and the Complexity of Equilibria

Year: 2020
Media group: LIPIcs
OPEN V 11.1.0.0