Search Within

Jan Kretínský

Jkretinsky_hvdgv
Email:
Interests:
Refine Results
Formats
  1. Conference paper (15)
  2. Journal article (2)
Groups
  1. Chatterjee Group (17)
  2. Henzinger Group (17)
  3. IST Fellow (17)
  4. Alumni (7)
  5. PhD Students (3)

More Groups

People
  1. Krishnendu Chatterjee (6)
  2. Martin Chmelik (4)
  3. Przemysław Daca (3)
  4. Thomas Henzinger (3)
  5. Tatjana Petrov (2)

More People

Years
  1. 2017 (1)
  2. 2016 (2)
  3. 2015 (9)
  4. 2014 (4)
  5. 2013 (1)
Publications
  1. CAV: Computer Aided Verification (4)
  2. CONCUR: Concurrency Theory (3)
  3. ALENEX: Algorithm Engineering and Experiments (1)
  4. ATVA: Automated Technology for Verification and Analysis (1)
  5. Acta Informatica (1)

More Publications

Publishers
  1. Springer (10)
  2. Schloss Dagstuhl- Leibniz-Zentrum für Informatik (3)
  3. ACM (1)
  4. Elsevier (1)
  5. IEEE (1)

More Publishers

Affiliation
  1. IST Austria (17)
Open access
  1. yes (repository) (11)
  2. no (4)
  3. yes (OA journal) (2)
Peer reviewed
  1. yes (15)
  2. no (2)
Invited
  1. no (17)

Results (17)

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

    Svoreňová, Mária; Křetínský, Jan; Chmelík, Martin; Chatterjee, Krishnendu; Cěrná, Ivana; more...
    Nonlinear Analysis: Hybrid Systems (2017)

    GET it@IST | Save
  • Faster statistical model checking for unbounded temporal properties
    Conference paper

    Daca, Przemysław; Henzinger, Thomas A; Křetínský, Jan; Petrov, Tatjana P
    TACAS: Tools and Algorithms for the Construction and Analysis of Systems
    Springer (2016)

    GET it@IST | Save
  • Linear distances between Markov chains
    Conference paper

    Daca, Przemyslaw; Henzinger, Thomas A; Křetínský, Jan; Petrov, Tatjana
    CONCUR: Concurrency Theory
    Schloss Dagstuhl- Leibniz-Zentrum für Informatik (2016)

    GET it@IST | Save
  • Controller synthesis for MDPs and frequency LTL\GU
    Conference paper

    Forejt, Vojtěch; Krčál, Jan; Křetínský, Jan
    LPAR: Logic for Programming, Artificial Intelligence, and Reasoning
    Springer (2015)

    GET it@IST | Save
  • Counterexample explanation by learning small strategies in Markov decision processes
    Conference paper

    Brázdil, Tomáš; Chatterjee, Krishnendu; Chmelík, Martin; Fellner, Andreas; Křetínský, Jan
    CAV: Computer Aided Verification
    Springer (2015)

    GET it@IST | Save
  • The Hanoi omega-automata format
    Conference paper

    Babiak, Tomáš; Blahoudek, František; Duret-Lutz, Alexandre; Klein, Joachim C; Křetínský, Jan; more...
    CAV: Computer Aided Verification
    Springer (2015)

    GET it@IST | Save
  • Unifying two views on multiple mean-payoff objectives in Markov decision processes
    Conference paper

    Chatterjee, Krishnendu; Komárková, Zuzana; Křetínský, Jan
    LICS: Logic in Computer Science
    IEEE (2015)

    GET it@IST | Save
  • Complete composition operators for IOCO-testing theory
    Conference paper

    Beneš, Nikola; Daca, Przemysław; Henzinger, Thomas A; Křetínský, Jan; Ničković, Dejan
    CBSE: Component-Based Software Engineering
    ACM (2015)

    GET it@IST | Save
  • Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games
    Conference paper

    Svoreňová, Mária; Křetínský, Jan; Chmelík, Martin; Chatterjee, Krishnendu; Cěrná, Ivana; more...
    HSCC: Hybrid Systems: Computation and Control
    Springer (2015)

    GET it@IST | Save
  • Refinement checking on parametric modal transition systems
    Journal article

    Beneš, Nikola; Křetínský, Jan; Larsen, Kim G; Möller, Mikael H; Sickert, Salomon; more...
    Acta Informatica (2015)

    GET it@IST | Save