Graph explorer

Antonín Kučera

Antonín Kučera contributes to research discovery and scholarly infrastructure.

13 nodes12 linksoverview mapAntonín Kučera
13 nodes12 links
Antonín Kučera13 visible / 13 total nodes / 12 links
AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAAntonín KučeraResearcherWDemuth's path to ra...preprint / 2014WMinimizing Expected Int...preprint / 2022WRegstar: Efficient Stra...preprint / 2021WGeneral Optimization Fr...preprint / 2022WMinimizing Expected Ter...preprint / 2012WDeterminacy in Stochast...preprint / 2012WOptimizing the Expected...preprint / 2016WEfficient Timeout Synth...preprint / 2016WOn-the-fly Adaptation o...preprint / 2022WQualitative Reachabilit...preprint / 2010WEfficient Controller Sy...preprint / 2012WZero-Reachability in Pr...preprint / 2014
PersonSignal 1012 links

Antonín Kučera

Researcher

Open