search result

Cover von Multi-Environment MDPs with Prior and Universal Semantics

Multi-Environment MDPs with Prior and Universal Semantics

Year: 2026
Media group: LIPIcs
Cover von Quantitative Games with Interval Objectives

Quantitative Games with Interval Objectives

Year: 2014
Media group: LIPIcs
Cover von A Zone-Based Algorithm for Timed Parity Games

A Zone-Based Algorithm for Timed Parity Games

Year: 2025
Media group: LIPIcs
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 279, CONCUR 2023, Complete Volume

LIPIcs, Volume 279, CONCUR 2023, Complete Volume

Year: 2023
Media group: LIPIcs
Cover von 34th International Conference on Concurrency Theory
CONCUR 2023 : September 18 - 23, 2023, Antwerp, Belgium
Search for this author
Year: 2023
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 279
Media group: LIPIcs
Cover von Expected Window Mean-Payoff

Expected Window Mean-Payoff

Year: 2019
Media group: LIPIcs
Cover von Safe and Optimal Scheduling for Hard and Soft Tasks

Safe and Optimal Scheduling for Hard and Soft Tasks

Year: 2018
Media group: LIPIcs
Cover von Parameterized complexity of games with monotonically ordered omega-regular objectives

Parameterized complexity of games with monotonically ordered omega-regular objectives

Year: 2018
Media group: LIPIcs
Cover von Admissiblity in Concurrent Games

Admissiblity in Concurrent Games

Year: 2017
Media group: LIPIcs
OPEN V 11.1.0.0