Graph explorer

Tomáš Brázdil

Tomáš Brázdil contributes to research discovery and scholarly infrastructure.

13 nodes12 linksoverview previewTomáš Brázdil
13 nodes12 links
Tomáš Brázdil13 visible / 13 total nodes / 12 links
AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipATomáš BrázdilResearcherWOn-the-fly Adaptation o...preprint / 2022WStabilization of Branch...preprint / 2011WSpace-efficient schedul...preprint / 2010WOne-Counter Stochastic ...preprint / 2010WQualitative Reachabilit...preprint / 2010WEfficient Controller Sy...preprint / 2012WMinimizing Expected Ter...preprint / 2012WApproximating the Termi...preprint / 2011WDeterminacy in Stochast...preprint / 2012WSolvency Markov Decisio...preprint / 2013WTrading Performance for...preprint / 2013WQualitative Controller ...preprint / 2020
PersonSignal 1012 links

Tomáš Brázdil

Researcher

Open