Similar Items: Analysis of Timed and Long-Run Objectives for Markov Automata
- Markov Decision Processes with Multiple Long-run Average Objectives
- Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications
- Life is Random, Time is Not: Markov Decision Processes with Window Objectives
- A Finite Semantics of Simply-Typed Lambda Terms for Infinite Runs of Automata
- Multi-Objective Model Checking of Markov Decision Processes
- Static Analysis of Run-Time Errors in Embedded Real-Time Parallel C Programs