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.

Antonín Kučera
SearchCollections
Map detail
Antonín Kučera13 visible / 13 total nodes / 12 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAntonín KučeraAAntonín KučeraResearcherDemuth's path to randomnessWDemuth's path to random...preprint / 2014Minimizing Expected Intrusion Detection Time in Adversarial PatrollingWMinimizing Expected Int...preprint / 2022Regstar: Efficient Strategy Synthesis for Adversarial Patrolling GamesWRegstar: Efficient Stra...preprint / 2021General Optimization Framework for Recurrent Reachability ObjectivesWGeneral Optimization Fr...preprint / 2022Minimizing Expected Termination Time in One-Counter Markov Decision ProcessesWMinimizing Expected Ter...preprint / 2012Determinacy in Stochastic Games with Unbounded Payoff FunctionsWDeterminacy in Stochast...preprint / 2012Optimizing the Expected Mean Payoff in Energy Markov Decision ProcessesWOptimizing the Expected...preprint / 2016Efficient Timeout Synthesis in Fixed-Delay CTMC Using Policy IterationWEfficient Timeout Synth...preprint / 2016On-the-fly Adaptation of Patrolling Strategies in Changing EnvironmentsWOn-the-fly Adaptation o...preprint / 2022Qualitative Reachability in Stochastic BPA GamesWQualitative Reachabilit...preprint / 2010Efficient Controller Synthesis for Consumption Games with Multiple Resource TypesWEfficient Controller Sy...preprint / 2012Zero-Reachability in Probabilistic Multi-Counter AutomataWZero-Reachability in Pr...preprint / 2014
Person12 links

Antonín Kučera

Researcher

PaperDemuth's path to randomnessAuthorship / preprint / 2014PaperMinimizing Expected Intrusion Detection Time in Adversarial PatrollingAuthorship / preprint / 2022PaperRegstar: Efficient Strategy Synthesis for Adversarial Patrolling GamesAuthorship / preprint / 2021PaperGeneral Optimization Framework for Recurrent Reachability ObjectivesAuthorship / preprint / 2022PaperMinimizing Expected Termination Time in One-Counter Markov Decision ProcessesAuthorship / preprint / 2012PaperDeterminacy in Stochastic Games with Unbounded Payoff FunctionsAuthorship / preprint / 2012PaperOptimizing the Expected Mean Payoff in Energy Markov Decision ProcessesAuthorship / preprint / 2016PaperEfficient Timeout Synthesis in Fixed-Delay CTMC Using Policy IterationAuthorship / preprint / 2016

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)