( en | de | ru )

 

Disambiguation of "Jovanovic, Aleksandra"

Author of the publication

copydeleteadd this publication to your clipboard
Symbolic optimal expected time reachability computation and controller synthesis for probabilistic timed automata.

, , , and . Theor. Comput. Sci., (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Alexander Jovanovic

Natasa Jovanovic

Vesna Jovanovic

Snezana Jovanovic

Vuk Jovanovic

 

Other publications of authors with the same name

Symbolic optimal expected time reachability computation and controller synthesis for probabilistic timed automata., , , and . Theor. Comput. Sci., (2017)Interrupt Timed Automata with Auxiliary Clocks and Parameters., , , and . CoRR, (2014)Parametric Interrupt Timed Automata., , , and . RP, volume 8169 of Lecture Notes in Computer Science, page 59-69. Springer, (2013)Integer Parameter Synthesis for Timed Automata., , and . TACAS, volume 7795 of Lecture Notes in Computer Science, page 401-415. Springer, (2013)Synthesis of Bounded Integer Parameters for Parametric Timed Reachability Games., , and . ATVA, volume 8172 of Lecture Notes in Computer Science, page 87-101. Springer, (2013)Interrupt Timed Automata with Auxiliary Clocks and Parameters., , , and . Fundam. Informaticae, 143 (3-4): 235-259 (2016)Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions., and . RP, volume 8762 of Lecture Notes in Computer Science, page 176-189. Springer, (2014)Symbolic Minimum Expected Time Controller Synthesis for Probabilistic Timed Automata., , and . FORMATS, volume 9268 of Lecture Notes in Computer Science, page 140-155. Springer, (2015)Real-time control with parametric timed reachability games., , , and . WODES, page 323-330. International Federation of Automatic Control, (2012)Optimal Polar quantization of Complex Variables with Circularly Symmetric densities., , and . Int. J. Comput., 3 (3): 110-119 (2004)