search result

Cover von Characterisation of an Algebraic Algorithm for Probabilistic Automata

Characterisation of an Algebraic Algorithm for Probabilistic Automata

Year: 2016
Media group: LIPIcs
Cover von The Bridge Between Regular Cost Functions and Omega-Regular Languages

The Bridge Between Regular Cost Functions and Omega-Regular Languages

Year: 2016
Media group: LIPIcs
Cover von Infinite-state games with finitary conditions

Infinite-state games with finitary conditions

Year: 2013
Media group: LIPIcs
Cover von Cost-Parity and Cost-Streett Games

Cost-Parity and Cost-Streett Games

Year: 2012
Media group: ARTICLE
Cover von The Trichotomy of Regular Property Testing

The Trichotomy of Regular Property Testing

Year: 2025
Media group: LIPIcs
Cover von Optimal Transformations of Games and Automata Using Muller Conditions

Optimal Transformations of Games and Automata Using Muller Conditions

Year: 2021
Media group: LIPIcs
Cover von Quantifying Bounds in Strategy Logic

Quantifying Bounds in Strategy Logic

Year: 2018
Media group: LIPIcs
Cover von Expressiveness of Probabilistic Modal Logics, Revisited

Expressiveness of Probabilistic Modal Logics, Revisited

Year: 2017
Media group: LIPIcs
Cover von Playing Safe

Playing Safe

Year: 2014
Media group: LIPIcs
Cover von Emptiness Of Alternating Tree Automata Using Games With Imperfect Information

Emptiness Of Alternating Tree Automata Using Games With Imperfect Information

Year: 2013
Media group: LIPIcs
OPEN V 11.1.0.0