prof. RNDr. Ivana Černá, CSc.


Kancelář: A410
Botanická 554/68a
602 00 Brno

Zobrazit na mapě

Telefon: 549 49 3890
E‑mail:
Publikace

2016

Finding Boundary Elements in Ordered Sets with Application to Safety and Requirements Analysis

BENDÍK Jaroslav BENEŠ Nikola BARNAT Jiří ČERNÁ Ivana

LTL Parameter Synthesis of Parametric Timed Automata

BEZDĚK Peter BENEŠ Nikola BARNAT Jiří ČERNÁ Ivana

On verifying C++ programs with probabilities

BARNAT Jiří ČERNÁ Ivana ROČKAI Petr ŠTILL Vladimír ZÁKOPČANOVÁ Kristína

Optimal observation mode scheduling for systems under temporal constraints

TESAŘOVÁ Eva — SVOREŇOVÁ Mária — BARNAT Jiří ČERNÁ Ivana

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

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

Tunable Online MUS/MSS Enumeration

BENDÍK Jaroslav BENEŠ Nikola ČERNÁ Ivana BARNAT Jiří

2015

Optimal Temporal Logic Control for Deterministic Transition Systems with Probabilistic Penalties

SVOREŇOVÁ Mária — ČERNÁ Ivana — BELTA Calin

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

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

Temporal Logic Motion Planning using POMDPs with Parity Objectives

SVOREŇOVÁ Mária — CHMELÍK Martin — LEAHY Kevin — ENISER Hasan Ferit — CHATTERJEE Krishnendu — ČERNÁ Ivana — BELTA Calin

2014

LTL Model Checking of Parametric Timed Automata

BEZDĚK Peter BENEŠ Nikola BARNAT Jiří ČERNÁ Ivana

Předchozí 1 2 3 4 5 6 7 12 Další

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

Další info