search result

Cover von A Survey of Bidding Games on Graphs (Invited Paper)

A Survey of Bidding Games on Graphs (Invited Paper)

Year: 2020
Media group: LIPIcs
Cover von Determinacy in Discrete-Bidding Infinite-Duration Games

Determinacy in Discrete-Bidding Infinite-Duration Games

Year: 2019
Media group: LIPIcs
Cover von Synchronizing the Asynchronous

Synchronizing the Asynchronous

Year: 2018
Media group: LIPIcs
Cover von Infinite-Duration Bidding Games

Infinite-Duration Bidding Games

Year: 2017
Media group: LIPIcs
Cover von Synthesis of AMBA AHB from formal specification

Synthesis of AMBA AHB from formal specification

a case study : article
Year: 2013
Synthesis
Media group: ARTICLE
Cover von The Need for Language Support for Fault-Tolerant Distributed Systems

The Need for Language Support for Fault-Tolerant Distributed Systems

Year: 2015
Media group: LIPIcs
Cover von Determinizing Discounted-Sum Automata

Determinizing Discounted-Sum Automata

Year: 2011
Media group: LIPIcs
Cover von Lipschitz Robustness of Finite-state Transducers

Lipschitz Robustness of Finite-state Transducers

Year: 2014
Media group: LIPIcs
Cover von Approximate Determinization of Quantitative Automata

Approximate Determinization of Quantitative Automata

Year: 2012
Media group: ARTICLE
Cover von Formal Modeling and Analysis of Timed Systems
8th International Conference, Klosterneuburg, Austria, September 8 - 10, 2010, Proceedings
Search for this author
Year: 2010
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 6246
Media group: MONOGRAPHIE
OPEN V 11.1.0.0