Project information

Řízení a ověřování vlastností komplexních hybridních systémů (Řízení a ověřování vlastností komplexních hybridní)

Project Identification
LH11065
Project Period
3/2011 - 12/2014
Investor / Pogramme / Project type
Ministry of Education, Youth and Sports of the CR
MU Faculty or unit
Faculty of Informatics

Publications

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

On Clock-Aware LTL Properties of Timed Automata

BEZDĚK Peter BENEŠ Nikola — HAVEL Vojtěch — BARNAT Jiří ČERNÁ Ivana

2013

Formal analysis of piecewise affine systems through formula-guided refinement

YORDANOV Boyan — TŮMOVÁ Jana — ČERNÁ Ivana BARNAT Jiří — BELTA Calin

Incremental Sampling-Based Algorithm for Minimum-Violation Motion Planning

REYES CASTRO Luis Ignacio — CHAUDHARI Pratik — TŮMOVÁ Jana — KARAMAN Sertac — FRAZZOLI Emilio — RUS Daniela

Least-violating control strategy synthesis with safety rules

TŮMOVÁ Jana — HALL Gavin — KARAMAN Sertac — FRAZZOLI Emilio — RUS Daniela

Minimum-violation LTL Planning with Conflicting Specifications

TŮMOVÁ Jana — REYES CASTRO Luis — KARAMAN Sertac — FRAZZOLI Emilio — RUS Daniela

Optimal Control of MDPs with Temporal Logic Constraints

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

Optimal Receding Horizon Control for Finite Deterministic Systems with Temporal Logic Constraints

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

Previous 1 2 Next

You are running an old browser version. We recommend updating your browser to its latest version.

More info