Person:955246

Available identifiers

zbMath Open jovanovic.aleksandra-zMaRDI QIDQ955246

List of research outcomes

Publication	Date of Publication	Type
Control of Real-Time Systems With Integer Parameters	2022-02-24	Paper
A game approach to the parametric control of real-time systems	2019-08-27	Paper
Parameter synthesis for probabilistic timed automata using stochastic game abstractions	2018-06-05	Paper
https://portal.mardi4nfdi.de/entity/Q4640252	2018-05-17	Paper
Symbolic optimal expected time reachability computation and controller synthesis for probabilistic timed automata	2017-03-16	Paper
Interrupt Timed Automata with Auxiliary Clocks and Parameters*	2017-03-16	Paper
Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions	2015-10-28	Paper
Symbolic Minimum Expected Time Controller Synthesis for Probabilistic Timed Automata	2015-09-14	Paper
Synthesis of Bounded Integer Parameters for Parametric Timed Reachability Games	2014-07-08	Paper
Parametric Interrupt Timed Automata	2014-07-07	Paper
Integer Parameter Synthesis for Timed Automata	2013-08-05	Paper
An iterative method for optimal resolution‐constrained polar quantizer design	2011-07-28	Paper
Geometric piecewise uniform lattice vector quantization of the memoryless Gaussian source	2011-06-22	Paper
Optimal companding vector quantization for circularly symmetric sources	2008-11-19	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Aleksandra Ž. Jovanović