Travelled to:1 × Estonia
1 × Italy
1 × Norway
1 × USA
Collaborated with:J.Katoen E.Ábrahám R.Wimmer B.Becker C.Dehnert T.Quatmann S.Junges F.Corzilius M.Volk H.Bruintjes
Talks about:counterexampl (2) discret (2) markov (2) model (2) time (2) introductori (1) subsystem (1) obabilist (1) prophesi (1) ynthesi (1)
Person: Nils Jansen
DBLP: Jansen:Nils
Contributed to:
2015
2015
2014
2012Wrote 4 papers:
- CAV-2015-DehnertJJCVBKA #named #parametricity #probability #synthesis
- PROPhESY: A PRObabilistic ParamEter SYnthesis Tool (CD, SJ, NJ, FC, MV, HB, JPK, EÁ), pp. 214–231.
- FM-2015-QuatmannJDWAKB
- Counterexamples for Expected Rewards (TQ, NJ, CD, RW, EÁ, JPK, BB), pp. 435–452.
- SFM-2014-AbrahamBDJKW #generative #markov #modelling #overview
- Counterexample Generation for Discrete-Time Markov Models: An Introductory Survey (EÁ, BB, CD, NJ, JPK, RW), pp. 65–121.
- TACAS-2012-WimmerJABK #markov #modelling
- Minimal Critical Subsystems for Discrete-Time Markov Models (RW, NJ, EÁ, BB, JPK), pp. 299–314.