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 Krčál
SearchCollections
Map detail
Jan Krčál12 visible / 12 total nodes / 11 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipJan KrčálAJan KrčálResearcherCompositional Verification and Optimization of Interactive Markov ChainsWCompositional Verificat...preprint / 2013Fixed-delay Events in Generalized Semi-Markov Processes RevisitedWFixed-delay Events in G...preprint / 2011Probabilistic Bisimulation: Naturally on DistributionsWProbabilistic Bisimulat...preprint / 2014Dealing with Zero Density Using Piecewise Phase-type ApproximationWDealing with Zero Densi...preprint / 2014Measuring Performance of Continuous-Time Stochastic Processes using Timed AutomataWMeasuring Performance o...preprint / 2011On Frequency LTL in Probabilistic SystemsWOn Frequency LTL in Pro...preprint / 2015Controller synthesis for MDPs and Frequency LTL$\setminus$GUWController synthesis fo...preprint / 2015Distributed Synthesis in Continuous TimeWDistributed Synthesis i...preprint / 2016Recharging Probably Keeps Batteries AliveWRecharging Probably Kee...preprint / 2015Probabilistic Bisimulations for PCTL Model Checking of Interval MDPsWProbabilistic Bisimulat...preprint / 2014Optimizing Performance of Continuous-Time Stochastic Systems using Timeout SynthesisWOptimizing Performance ...preprint / 2016
Person11 links

Jan Krčál

Researcher

PaperCompositional Verification and Optimization of Interactive Markov ChainsAuthorship / preprint / 2013PaperFixed-delay Events in Generalized Semi-Markov Processes RevisitedAuthorship / preprint / 2011PaperProbabilistic Bisimulation: Naturally on DistributionsAuthorship / preprint / 2014PaperDealing with Zero Density Using Piecewise Phase-type ApproximationAuthorship / preprint / 2014PaperMeasuring Performance of Continuous-Time Stochastic Processes using Timed AutomataAuthorship / preprint / 2011PaperOn Frequency LTL in Probabilistic SystemsAuthorship / preprint / 2015PaperController synthesis for MDPs and Frequency LTL∖\setminusGUAuthorship / preprint / 2015PaperDistributed Synthesis in Continuous TimeAuthorship / 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)