( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Efficient Probabilistic Model Checking of Smart Building Maintenance using Fault Maintenance Trees.

, , , и . CoRR, (2018)

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.

Asferachew Abate

Daniel Abatemarco

Dawit Abate

Alula Abate

Aida Abate

 

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

Bayes-Adaptive Planning for Data-Efficient Verification of Uncertain Markov Decision Processes., и . QEST, том 11785 из Lecture Notes in Computer Science, стр. 91-108. Springer, (2019)SafePILCO: A Software Tool for Safe and Data-Efficient Policy Synthesis., , , и . QEST, том 12289 из Lecture Notes in Computer Science, стр. 18-26. Springer, (2020)Formal and Efficient Synthesis for Continuous-Time Linear Stochastic Hybrid Processes., , , , и . IEEE Trans. Autom. Control., 66 (1): 17-32 (2021)Approximate Model Checking of Stochastic Hybrid Systems., , , и . Eur. J. Control, 16 (6): 624-641 (2010)On piecewise quadratic control-Lyapunov functions for switched linear systems., , , и . CDC, стр. 1088-1093. IEEE, (2009)Discrete time stochastic hybrid dynamical games: Verification & controller synthesis., , , , , и . CDC/ECC, стр. 6122-6127. IEEE, (2011)Optimal robust control and a separation principle for polytopic time-inhomogeneous Markov jump linear systems., , , и . CDC, стр. 6525-6530. IEEE, (2017)Safety verification of output feedback controllers for nonlinear systems., и . ECC, стр. 413-418. IEEE, (2016)On sensor scheduling of linear dynamical systems with error bounds., , , , и . CDC, стр. 1318-1323. IEEE, (2010)Distributionally Robust Optimal and Safe Control of Stochastic Systems via Kernel Conditional Mean Embedding., , и . CDC, стр. 2016-2021. IEEE, (2023)