Travelled to:1 × Canada
1 × Estonia
1 × France
1 × Germany
1 × Greece
1 × Iceland
1 × Singapore
1 × United Kingdom
2 × Italy
3 × USA
Collaborated with:T.Brázdil A.Kucera M.Z.Kwiatkowska D.Parker K.Chatterjee P.Bouyer V.Brozek G.Norman T.Chen A.Simaitis D.Kröning G.Narayanaswamy S.Sharma J.Kretínský K.Dräger M.Ujma H.Qu
Talks about:object (5) probabilist (4) stochast (4) system (4) verif (4) game (4) synthesi (3) process (3) control (3) markov (3)
Person: Vojtech Forejt
DBLP: Forejt:Vojtech
Contributed to:
2015
20142014
2013201320122011
20112011
2009200820082006Wrote 13 papers:
- TACAS-2015-BrazdilCFK #multi #named #synthesis
- MultiGain: A Controller Synthesis Tool for MDPs with Multiple Mean-Payoff Objectives (TB, KC, VF, AK), pp. 181–187.
- FM-2014-ForejtKNS #analysis #communication #precise #predict #source code
- Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs (VF, DK, GN, SS), pp. 263–278.
- TACAS-2014-DragerFKPU #probability #synthesis
- Permissive Controller Synthesis for Probabilistic Systems (KD, VF, MZK, DP, MU), pp. 531–546.
- LICS-2013-BrazdilCFK #markov #performance #process
- Trading Performance for Stability in Markov Decision Processes (TB, KC, VF, AK), pp. 331–340.
- TACAS-2013-ChenFKPS #game studies #model checking #multi #named #probability
- PRISM-games: A Model Checker for Stochastic Multi-Player Games (TC, VF, MZK, DP, AS), pp. 185–191.
- TACAS-2012-ChenFKPS #automation #probability #verification
- Automatic Verification of Competitive Stochastic Systems (TC, VF, MZK, DP, AS), pp. 315–330.
- LICS-2011-BrazdilBCFK #markov #multi #process
- Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes (TB, VB, KC, VF, AK), pp. 33–42.
- SFM-2011-ForejtKNP #automation #probability #verification
- Automated Verification Techniques for Probabilistic Systems (VF, MZK, GN, DP), pp. 53–113.
- TACAS-2011-ForejtKNPQ #multi #probability #verification
- Quantitative Multi-objective Verification for Probabilistic Systems (VF, MZK, GN, DP, HQ), pp. 112–127.
- ICALP-v2-2009-BouyerF #game studies #probability #reachability
- Reachability in Stochastic Timed Games (PB, VF), pp. 103–114.
- ICALP-B-2008-BrazdilFK #branch #markov #process #synthesis #verification
- Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives (TB, VF, AK), pp. 148–159.
- LICS-2008-BrazdilFKK #probability #problem #satisfiability
- The Satisfiability Problem for Probabilistic CTL (TB, VF, JK, AK), pp. 391–402.
- LICS-2006-BrazdilBFK #game studies #probability
- Stochastic Games with Branching-Time Winning Objectives (TB, VB, VF, AK), pp. 349–358.