( en | de | ru )

 

Disambiguierung von "Abate, Alessandro"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Hierarchical identification of nonlinear hybrid systems in a Bayesian framework.

, , , und . Inf. Comput., 289 (Part): 104947 (2022)

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.

Asferachew Abate

Daniel Abatemarco

Dawit Abate

Alula Abate

Aida Abate

 

Weitere Publikationen von Autoren mit dem selben Namen

Efficient Probabilistic Model Checking of Smart Building Maintenance using Fault Maintenance Trees., , , und . CoRR, (2018)Hierarchical identification of nonlinear hybrid systems in a Bayesian framework., , , und . Inf. Comput., 289 (Part): 104947 (2022)Formal and Efficient Synthesis for Continuous-Time Linear Stochastic Hybrid Processes., , , , und . IEEE Trans. Autom. Control., 66 (1): 17-32 (2021)Approximate Model Checking of Stochastic Hybrid Systems., , , und . Eur. J. Control, 16 (6): 624-641 (2010)Observational Robustness and Invariances in Reinforcement Learning via Lexicographic Objectives., , , , und . CoRR, (2022)Learning Task Automata for Reinforcement Learning using Hidden Markov Models., , , , und . CoRR, (2022)Reasoning about Causality in Games., , , , , und . CoRR, (2023)Learning Probabilistic Termination Proofs., , und . CAV (2), Volume 12760 von Lecture Notes in Computer Science, Seite 3-26. Springer, (2021)Certification of iterative predictions in Bayesian neural networks., , , , , und . UAI, Volume 161 von Proceedings of Machine Learning Research, Seite 1713-1723. AUAI Press, (2021)Safety verification of output feedback controllers for nonlinear systems., und . ECC, Seite 413-418. IEEE, (2016)