Aleksandra Jovanovic
Selected Publications
-
Symbolic Minimum Expected Time Controller Synthesis for Probabilistic Timed Automata
Aleksandra Jovanovic‚ Marta Kwiatkowska and Gethin Norman
No. RR−15−04. DCS. 2015.
Details about Symbolic Minimum Expected Time Controller Synthesis for Probabilistic Timed Automata | BibTeX data for Symbolic Minimum Expected Time Controller Synthesis for Probabilistic Timed Automata | Download (pdf) of Symbolic Minimum Expected Time Controller Synthesis for Probabilistic Timed Automata
-
Integer Parameter Synthesis for Real−time Systems
A. Jovanović‚ D. Lime and O. H. Roux
In IEEE Transactions on Software Engineering (TSE). 2014.
To appear.
Details about Integer Parameter Synthesis for Real−time Systems | BibTeX data for Integer Parameter Synthesis for Real−time Systems
-
Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions
A. Jovanović and M. Kwiatkowska
In RP 2014. Springer. 2014.
Details about Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions | BibTeX data for Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions