Jan Křetínský - Publications, H-index & Citations

Jan Křetínský

masaryk university

26H指数

203论文数

2.1K被引数

收录论文 4

发表时间

Hidden-Layer Monitoring for Out-of-Distribution Localization in Image Segmentation 图像分割中用于异常分布定位的隐藏层监控

RUNTIME VERIFICATION, RV 2025

IF0

2026-01-01

PREAI

Kretinsky, Jan; Rieder, Sabine; Schwalbe, Gesina; Shoeb, Youssef

Formalizing and Guaranteeing Human-Robot Interaction

COMMUNICATIONS OF THE ACM

IF12.2

2021-08-24

OAAI

Kress-Gazit, Hadas; Eder, Kerstin; Hoffman, Guy; Admoni, Henny; Argall, Brenna; Ehlers, Rudiger; Heckman, Christoffer; Jansen, Nils; Knepper, Ross; Kretinsky, Jan; Levy-Tzedek, Shelly; Li, Jamy; Murphey, Todd; Riek, Laurel; Sadigh, Dorsa

Compositionality for quantitative specifications

SOFT COMPUTING

IF2.5

2017-02-24

PREAI

Fahrenberg, Uli; Kretinsky, Jan; Legay, Axel; Traonouez, Louis-Marie

Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games

NONLINEAR ANALYSIS-HYBRID SYSTEMS

IF4.1

2017-02-01

OAAI

Svorenova, Maria; Kretinsky, Jan; Chmelik, Martin; Chatterjee, Krishnendu; Cerna, Ivana; Belta, Calin

研究方向