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
Ministry of Education, Youth and Sports of the CR
Programme / Project Type
KONTAKT II
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