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.

Petr Novotný
SearchCollections
Map detail
Petr Novotný13 visible / 13 total nodes / 12 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipPetr NovotnýAPetr NovotnýResearcherGraded contractions of the Gell-Mann graded sl(3,C)WGraded contractions of ...preprint / 2013Stochastic Invariants for Probabilistic TerminationWStochastic Invariants f...preprint / 2016Qualitative Controller Synthesis for Consumption Markov Decision ProcessesWQualitative Controller ...preprint / 2020Minimizing 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 Controller Synthesis for Consumption Games with Multiple Resource TypesWEfficient Controller Sy...preprint / 2012Solvency Markov Decision Processes with InterestWSolvency Markov Decisio...preprint / 2013Zero-Reachability in Probabilistic Multi-Counter AutomataWZero-Reachability in Pr...preprint / 2014Minimizing Running Costs in Consumption SystemsWMinimizing Running Cost...preprint / 2014Optimizing Performance of Continuous-Time Stochastic Systems using Timeout SynthesisWOptimizing Performance ...preprint / 2016Stability in Graphs and GamesWStability in Graphs and...preprint / 2016
Person12 links

Petr Novotný

Researcher

PaperGraded contractions of the Gell-Mann graded sl(3,C)Authorship / preprint / 2013PaperStochastic Invariants for Probabilistic TerminationAuthorship / preprint / 2016PaperQualitative Controller Synthesis for Consumption Markov Decision ProcessesAuthorship / preprint / 2020PaperMinimizing 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 Controller Synthesis for Consumption Games with Multiple Resource TypesAuthorship / preprint / 2012PaperSolvency Markov Decision Processes with InterestAuthorship / preprint / 2013

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)