Aleksandra Ž. Jovanović

Available identifiers

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

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