Dr. rer. nat. RNDr. Mgr. Bc. Jan Křetínský, Ph.D.


E-mail: 139914@mail.muni.cz
Publikace

2015

Complete Composition Operators for IOCO-Testing Theory

BENEŠ Nikola — DACA Przemysław — HENZINGER Thomas A. — KŘETÍNSKÝ Jan — NIČKOVIĆ Dejan

Compositionality for Quantitative Specifications

FAHRENBERG Uli — KŘETÍNSKÝ Jan — LEGAY Axel — TRAONOUEZ Louis-Marie

Controller Synthesis for MDPs and Frequency LTL\GU

FOREJT VojtěchKRČÁL JanKŘETÍNSKÝ Jan

Counterexample Explanation by Learning Small Strategies in Markov Decision Processes

BRÁZDIL Tomáš — CHATTERJEE Krishnendu — CHMELÍK Martin — FELLNER Andreas — KŘETÍNSKÝ Jan

Polynomial Time Decidability of Weighted Synchronization under Partial Observability

KŘETÍNSKÝ Jan — LARSEN Kim Guldstrand — LAURSEN Simon — SRBA Jiří

Refinement checking on parametric modal transition systems

BENEŠ NikolaKŘETÍNSKÝ Jan — LARSEN Kim G. — MOLLER Mikael H. — SICKERT Salomon — SRBA Jiří

Temporal Logic Control for Stochastic Linear Systems using Abstraction Refinement of Probabilistic Games

SVOREŇOVÁ MáriaKŘETÍNSKÝ Jan — CHMELÍK Martin — CHATTERJEE Krishnendu — ČERNÁ Ivana — BELTA Calin

The Hanoi Omega-Automata Format

BABIAK TomášBLAHOUDEK František — DURET-LUTZ Alexandre — KLEIN Joachim — KŘETÍNSKÝ Jan — MÜLLER David — PARKER David — STREJČEK Jan

Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes

CHATTERJEE Krishnendu — KOMÁRKOVÁ ZuzanaKŘETÍNSKÝ Jan

2014

From LTL to Deterministic Automata: A Safraless Compositional Approach

ESPARZA Javier — KŘETÍNSKÝ Jan

Předchozí 1 2 3 4 Další

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.

Další info