search result

Cover von The Satisfiability Problem for Unbounded Fragments of Probabilistic CTL

The Satisfiability Problem for Unbounded Fragments of Probabilistic CTL

Year: 2018
Media group: LIPIcs
Cover von Process Algebra for Modal Transition Systemses

Process Algebra for Modal Transition Systemses

Year: 2011
Media group: ARTICLE
Cover von Of Cores

Of Cores

A Partial-Exploration Framework for Markov Decision Processes
Year: 2019
Media group: LIPIcs
Cover von Verification of Open Interactive Markov Chains

Verification of Open Interactive Markov Chains

Year: 2012
Media group: ARTICLE
Cover von Continuous-Time Stochastic Games with Time-Bounded Reachability

Continuous-Time Stochastic Games with Time-Bounded Reachability

Year: 2009
Media group: ARTICLE
Cover von Stochastic Games; 14
pp. 1-18
Search for this author
Year: 2024
Publisher: Wadern, LZI
Dagstuhl Reports
Count: 14
Media group: DAGSTUHL REPORT
Cover von Taming the Infinities of Concurrency
Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday
Search for this author
Year: 2024
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science : Festschrift; 14660
Media group: MONOGRAPHIE
Cover von Anytime Guarantees for Reachability in Uncountable Markov Decision Processes

Anytime Guarantees for Reachability in Uncountable Markov Decision Processes

Year: 2022
Media group: LIPIcs
Cover von Enforcing ?-Regular Properties in Markov Chains by Restarting

Enforcing ?-Regular Properties in Markov Chains by Restarting

Year: 2021
Media group: LIPIcs
Cover von Learning-Based Mean-Payoff Optimization in an Unknown MDP under Omega-Regular Constraints

Learning-Based Mean-Payoff Optimization in an Unknown MDP under Omega-Regular Constraints

Year: 2018
Media group: LIPIcs
OPEN V 11.1.0.0