search result

Cover von Saturation Problems for Families of Automata

Saturation Problems for Families of Automata

Year: 2025
Media group: LIPIcs
Cover von Lazy Probabilistic Model Checking without Determinisation

Lazy Probabilistic Model Checking without Determinisation

Year: 2015
Media group: LIPIcs
Cover von Efficient Approximation of Optimal Control for Continuous-Time Markov Games

Efficient Approximation of Optimal Control for Continuous-Time Markov Games

Year: 2011
Media group: ARTICLE
Cover von Model-Free Reinforcement Learning for Stochastic Parity Games

Model-Free Reinforcement Learning for Stochastic Parity Games

Author: Wojtczak, Dominik
Year: 2020
Media group: LIPIcs
OPEN V 11.1.0.0