Graph explorer

Jan Křetínský

Jan Křetínský contributes to research discovery and scholarly infrastructure.

13 nodes12 linksoverview previewJan Křetínský
13 nodes12 links
Jan Křetínský13 visible / 13 total nodes / 12 links
AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAJan KřetínskýResearcherWSatisfiability Bounds f...preprint / 2022WIndex appearance record...preprint / 2017WAnytime Guarantees for ...preprint / 2022WAlgebraically Explainab...preprint / 2022WPAC Statistical Model C...preprint / 2021WSOS: Safe, Optimal and ...preprint / 2019WLearning Model Checking...preprint / 2022WPAC Statistical Model C...preprint / 2022WAbstraction-Based Segme...preprint / 2022WOptimistic and Topologi...preprint / 2022WDeepAbstract: Neural Ne...preprint / 2020WdtControl: Decision Tre...preprint / 2020
PersonSignal 1012 links

Jan Křetínský

Researcher

Open