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
New coding algorithm based on variable-length codewords for piecewise uniform quantizers	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ć