( en | de | ru )

 

Disambiguierung von "Jovanovic, Aleksandra"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Symbolic Minimum Expected Time Controller Synthesis for Probabilistic Timed Automata.

, , und . FORMATS, Volume 9268 von Lecture Notes in Computer Science, Seite 140-155. Springer, (2015)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Alexander Jovanovic

Natasa Jovanovic

Vesna Jovanovic

Vuk Jovanovic

Snezana Jovanovic

 

Weitere Publikationen von Autoren mit dem selben Namen

Novel approximations for the Q-function with application in SQNR calculation., , und . Digit. Signal Process., (2017)Approach in companding-quantisation-inspired PAM constellation design., , und . IET Commun., 12 (18): 2305-2314 (2018)Iterative algorithm for designing asymptotically optimal uniform scalar quantisation of the one-sided Rayleigh density., , und . IET Commun., 15 (5): 723-729 (2021)Interrupt Timed Automata with Auxiliary Clocks and Parameters., , , und . Fundam. Informaticae, 143 (3-4): 235-259 (2016)Two forward adaptive dual-mode companding scalar quantizers for Gaussian source., , und . Signal Process., (2016)Whether the Support Region of Three-Bit Uniform Quantizer Has a Strong Impact on Post-Training Quantization for MNIST Dataset?, , , , und . Entropy, 23 (12): 1699 (2021)Symbolic Minimum Expected Time Controller Synthesis for Probabilistic Timed Automata., , und . FORMATS, Volume 9268 von Lecture Notes in Computer Science, Seite 140-155. Springer, (2015)Real-time control with parametric timed reachability games., , , und . WODES, Seite 323-330. International Federation of Automatic Control, (2012)Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions., und . RP, Volume 8762 von Lecture Notes in Computer Science, Seite 176-189. Springer, (2014)Integer Parameter Synthesis for Real-Time Systems., , und . IEEE Trans. Software Eng., 41 (5): 445-461 (2015)