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.

Jan Křetínský
SearchCollections
Map detail
Jan Křetínský13 visible / 13 total nodes / 12 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipJan KřetínskýAJan KřetínskýResearcherSatisfiability Bounds for $ω$-Regular Properties in Bounded-Parameter Markov Decision ProcessesWSatisfiability Bounds f...preprint / 2022Index appearance record for transforming Rabin automata into parity automataWIndex appearance record...preprint / 2017On Refinements of Boolean and Parametric Modal Transition SystemsWOn Refinements of Boole...preprint / 2013Deterministic Automata for the (F,G)-fragment of LTLWDeterministic Automata ...preprint / 2012Anytime Guarantees for Reachability in Uncountable Markov Decision ProcessesWAnytime Guarantees for ...preprint / 2022Algebraically Explainable Controllers: Decision Trees and Support Vector Machines Join ForcesWAlgebraically Explainab...preprint / 2022PAC Statistical Model Checking for Markov Decision Processes and Stochastic GamesWPAC Statistical Model C...preprint / 2021SOS: Safe, Optimal and Small Strategies for Hybrid Markov Decision ProcessesWSOS: Safe, Optimal and ...preprint / 2019From LTL to Deterministic Automata: A Safraless Compositional ApproachWFrom LTL to Determinist...preprint / 2014Learning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic ProcessesWLearning Model Checking...preprint / 2022PAC Statistical Model Checking of Mean Payoff in Discrete- and Continuous-Time MDPWPAC Statistical Model C...preprint / 2022Abstraction-Based Segmental Simulation of Chemical Reaction NetworksWAbstraction-Based Segme...preprint / 2022
Person12 links

Jan Křetínský

Researcher

PaperSatisfiability Bounds for ωω-Regular Properties in Bounded-Parameter Markov Decision ProcessesAuthorship / preprint / 2022PaperIndex appearance record for transforming Rabin automata into parity automataAuthorship / preprint / 2017PaperOn Refinements of Boolean and Parametric Modal Transition SystemsAuthorship / preprint / 2013PaperDeterministic Automata for the (F,G)-fragment of LTLAuthorship / preprint / 2012PaperAnytime Guarantees for Reachability in Uncountable Markov Decision ProcessesAuthorship / preprint / 2022PaperAlgebraically Explainable Controllers: Decision Trees and Support Vector Machines Join ForcesAuthorship / preprint / 2022PaperPAC Statistical Model Checking for Markov Decision Processes and Stochastic GamesAuthorship / preprint / 2021PaperSOS: Safe, Optimal and Small Strategies for Hybrid Markov Decision ProcessesAuthorship / preprint / 2019

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)