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.

Tomáš Brázdil
SearchCollections
Map detail
Tomáš Brázdil13 visible / 13 total nodes / 12 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipTomáš BrázdilATomáš BrázdilResearcherOn-the-fly Adaptation of Patrolling Strategies in Changing EnvironmentsWOn-the-fly Adaptation o...preprint / 2022Stabilization of Branching Queueing NetworksWStabilization of Branch...preprint / 2011Space-efficient scheduling of stochastically generated tasksWSpace-efficient schedul...preprint / 2010One-Counter Stochastic GamesWOne-Counter Stochastic ...preprint / 2010Qualitative Reachability in Stochastic BPA GamesWQualitative Reachabilit...preprint / 2010Efficient Controller Synthesis for Consumption Games with Multiple Resource TypesWEfficient Controller Sy...preprint / 2012Minimizing Expected Termination Time in One-Counter Markov Decision ProcessesWMinimizing Expected Ter...preprint / 2012Approximating the Termination Value of One-Counter MDPs and Stochastic GamesWApproximating the Termi...preprint / 2011Determinacy in Stochastic Games with Unbounded Payoff FunctionsWDeterminacy in Stochast...preprint / 2012Solvency Markov Decision Processes with InterestWSolvency Markov Decisio...preprint / 2013Trading Performance for Stability in Markov Decision ProcessesWTrading Performance for...preprint / 2013Fixed-delay Events in Generalized Semi-Markov Processes RevisitedWFixed-delay Events in G...preprint / 2011
Person12 links

Tomáš Brázdil

Researcher

PaperOn-the-fly Adaptation of Patrolling Strategies in Changing EnvironmentsAuthorship / preprint / 2022PaperStabilization of Branching Queueing NetworksAuthorship / preprint / 2011PaperSpace-efficient scheduling of stochastically generated tasksAuthorship / preprint / 2010PaperOne-Counter Stochastic GamesAuthorship / preprint / 2010PaperQualitative Reachability in Stochastic BPA GamesAuthorship / preprint / 2010PaperEfficient Controller Synthesis for Consumption Games with Multiple Resource TypesAuthorship / preprint / 2012PaperMinimizing Expected Termination Time in One-Counter Markov Decision ProcessesAuthorship / preprint / 2012PaperApproximating the Termination Value of One-Counter MDPs and Stochastic GamesAuthorship / preprint / 2011

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)