Travelled to:1 × Cyprus
2 × USA
Collaborated with:B.Finkbeiner S.Schewe ∅ C.Sánchez L.Tentrup C.Rasmussen S.A.Seshia R.Dimitrova M.Kovács H.Seidl
Talks about:increment (2) determin (2) model (2) hyper (2) check (2) understand (1) algorithm (1) synthesi (1) quantifi (1) function (1)
Person: Markus N. Rabe
DBLP: Rabe:Markus_N=
Contributed to:
2015
2012
201020182019Wrote 5 papers:
- CAV-2015-FinkbeinerRS #algorithm #model checking
- Algorithms for Model Checking HyperLTL and HyperCTL ^* (BF, MNR, CS), pp. 30–48.
- VMCAI-2012-DimitrovaFKRS #data flow #model checking
- Model Checking Information Flow in Reactive Systems (RD, BF, MK, MNR, HS), pp. 169–185.
- QAPL-2010-RabeS #game studies #markov
- Optimal Time-Abstract Schedulers for CTMDPs and Markov Games (MNR, SS), pp. 144–158.
- CAV-2018-RabeTRS #comprehension #incremental
- Understanding and Extending Incremental Determinization for 2QBF (MNR, LT, CR, SAS), pp. 256–274.
- CAV-2019-Rabe #functional #incremental #quantifier #synthesis
- Incremental Determinization for Quantifier Elimination and Functional Synthesis (MNR), pp. 84–94.