The following pages link to Markus N. Rabe (Q259049):
Displayed 15 items.
- Efficient approximation of optimal control for continuous-time Markov games (Q259052) (← links)
- Finite optimal control for time-bounded reachability in CTMDPs and continuous-time Markov games (Q766176) (← links)
- A resolution-style proof system for DQBF (Q1680262) (← links)
- Algorithms for model checking HyperLTL and HyperCTL\(^*\) (Q1702908) (← links)
- Optimal time-abstract schedulers for CTMDPs and continuous-time Markov games (Q1935779) (← links)
- Towards the automatic mathematician (Q2055841) (← links)
- Clausal abstraction for DQBF (Q2181947) (← links)
- Incremental Determinization (Q2818028) (← links)
- Model Checking Information Flow in Reactive Systems (Q2891409) (← links)
- Efficient Approximation of Optimal Control for Markov Games (Q2911641) (← links)
- Encodings of Bounded Synthesis (Q3303904) (← links)
- Verification of Partial-Information Probabilistic Systems Using Counterexample-Guided Refinements (Q4649307) (← links)
- (Q5151040) (← links)
- Understanding and extending incremental determinization for 2QBF (Q6039407) (← links)
- Incremental determinization for quantifier elimination and functional synthesis (Q6154873) (← links)