BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Vojtěch Forejt
SearchCollections
Map detail
Vojtěch Forejt11 visible / 11 total nodes / 10 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipVojtěch ForejtAVojtěch ForejtResearcherOn Frequency LTL in Probabilistic SystemsWOn Frequency LTL in Pro...preprint / 2015Controller synthesis for MDPs and Frequency LTL$\setminus$GUWController synthesis fo...preprint / 2015Expected Reachability-Time GamesWExpected Reachability-T...preprint / 2016Stability in Graphs and GamesWStability in Graphs and...preprint / 2016Decidability Results for Multi-objective Stochastic GamesWDecidability Results fo...preprint / 2016Solvency Markov Decision Processes with InterestWSolvency Markov Decisio...preprint / 2013Trading Performance for Stability in Markov Decision ProcessesWTrading Performance for...preprint / 2013MultiGain: A controller synthesis tool for MDPs with multiple mean-payoff objectivesWMultiGain: A controller...preprint / 2015Verification of Markov Decision Processes using Learning AlgorithmsWVerification of Markov ...preprint / 2015Markov Decision Processes with Multiple Long-run Average ObjectivesWMarkov Decision Process...preprint / 2014
Person10 links

Vojtěch Forejt

Researcher

PaperOn Frequency LTL in Probabilistic SystemsAuthorship / preprint / 2015PaperController synthesis for MDPs and Frequency LTL∖\setminusGUAuthorship / preprint / 2015PaperExpected Reachability-Time GamesAuthorship / preprint / 2016PaperStability in Graphs and GamesAuthorship / preprint / 2016PaperDecidability Results for Multi-objective Stochastic GamesAuthorship / preprint / 2016PaperSolvency Markov Decision Processes with InterestAuthorship / preprint / 2013PaperTrading Performance for Stability in Markov Decision ProcessesAuthorship / preprint / 2013PaperMultiGain: A controller synthesis tool for MDPs with multiple mean-payoff objectivesAuthorship / preprint / 2015

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)