Top-down complementation of automata on finite trees von Doyen, Laurent

Volltext

Stochastic Games with Synchronization Objectives von Doyen, Laurent

Volltext

Quantitative languages von Chatterjee, Krishnendu, Doyen, Laurent, Henzinger, Thomas A.

Volltext

Principles of Systems Design: Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday von Raskin, Jean-François, Chatterjee, Krishnendu, Doyen, Laurent, Majumdar, Rupak

Volltext

Energy parity games von Chatterjee, Krishnendu, Doyen, Laurent

Volltext

Graph planning with expected finite horizon von Chatterjee, Krishnendu, Doyen, Laurent

Volltext

Stochastic Processes with Expected Stopping Time von Chatterjee, Krishnendu, Doyen, Laurent

Volltext

Observation and Distinction: Representing Information in Infinite Games von Berwanger, Dietmar, Doyen, Laurent

Volltext

Algorithms for Omega-Regular Games with Imperfect Information von Chatterjee, Krishnendu, Doyen, Laurent, Henzinger, Thomas A., Raskin, Jean-Francois

Volltext

On Reachability for Hybrid Automata over Bounded Time von Brihaye, Thomas, Doyen, Laurent, Geeraerts, Gilles, Ouaknine, Joël, Raskin, Jean-François, Worrell, James

Volltext

Accelerated degradation tests with inspection effects von Zhao, Xiujie, Chen, Piao, Gaudoin, Olivier, Doyen, Laurent

Volltext

On geometric reduction of age or intensity models for imperfect maintenance von Doyen, Laurent, Gaudoin, Olivier, Syamsundar, Annamraju

Volltext

Expressiveness and Closure Properties for Quantitative Languages von Chatterjee, Krishnendu, Doyen, Laurent, Henzinger, Thomas A

Volltext

Optimal inspection and replacement policy based on experimental degradation data with covariates von Zhao, Xiujie, Gaudoin, Olivier, Doyen, Laurent, Xie, Min

Volltext

Discussion of “Virtual age, is it real?” von Doyen, Laurent, Gaudoin, Olivier

Volltext

The complexity of synchronizing Markov decision processes von Doyen, Laurent, Massart, Thierry, Shirmohammadi, Mahsa

Volltext

Virtual age models with time-dependent covariates: A framework for simulation, parametric inference and quality of estimation von Brenière, Léa, Doyen, Laurent, Bérenguer, Christophe

Volltext

A Generic Framework for Generalized Virtual Age Models von Doyen, Laurent, Drouilhet, Remy, Breniere, Lea

Volltext

Antichains for the Automata-Based Approach to Model-Checking von Doyen, Laurent, Raskin, Jean-Francois

Volltext

Partial-Observation Stochastic Games: How to Win when Belief Fails von Chatterjee, Krishnendu, Doyen, Laurent

Volltext