( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Symbolic Minimum Expected Time Controller Synthesis for Probabilistic Timed Automata.

, , и . FORMATS, том 9268 из Lecture Notes in Computer Science, стр. 140-155. Springer, (2015)

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.

Alexander Jovanovic

Natasa Jovanovic

Vesna Jovanovic

Snezana Jovanovic

Vuk Jovanovic

 

Другие публикации лиц с тем же именем

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