Author of the publication

A game approach to the parametric control of real-time systems.

, , and . Int. J. Control, 92 (9): 2025-2036 (2019)

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.

 

Other publications of authors with the same name

Novel approximations for the Q-function with application in SQNR calculation., , and . Digit. Signal Process., (2017)Iterative algorithm for designing asymptotically optimal uniform scalar quantisation of the one-sided Rayleigh density., , and . IET Commun., 15 (5): 723-729 (2021)Approach in companding-quantisation-inspired PAM constellation design., , and . IET Commun., 12 (18): 2305-2314 (2018)Two forward adaptive dual-mode companding scalar quantizers for Gaussian source., , and . Signal Process., (2016)Interrupt Timed Automata with Auxiliary Clocks and Parameters., , , and . Fundam. Informaticae, 143 (3-4): 235-259 (2016)Whether the Support Region of Three-Bit Uniform Quantizer Has a Strong Impact on Post-Training Quantization for MNIST Dataset?, , , , and . Entropy, 23 (12): 1699 (2021)Real-time control with parametric timed reachability games., , , and . WODES, page 323-330. International Federation of Automatic Control, (2012)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)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)Integer Parameter Synthesis for Real-Time Systems., , and . IEEE Trans. Software Eng., 41 (5): 445-461 (2015)