( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
ARCH-COMP20 Category Report: Stochastic Models.

, , , , , , , , , , , , , , , и . ARCH, том 74 из EPiC Series in Computing, стр. 76-106. EasyChair, (2020)

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

 

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

SafePILCO: A Software Tool for Safe and Data-Efficient Policy Synthesis., , , и . QEST, том 12289 из Lecture Notes in Computer Science, стр. 18-26. Springer, (2020)Observational Robustness and Invariances in Reinforcement Learning via Lexicographic Objectives., , , , и . CoRR, (2022)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)Learning Task Automata for Reinforcement Learning using Hidden Markov Models., , , , и . CoRR, (2022)Reasoning about Causality in Games., , , , , и . CoRR, (2023)Analyzing Occupancy-Driven Thermal Dynamics in Smart Buildings., , и . CoRR, (2019)Linear quadratic regulation of polytopic time-inhomogeneous Markov jump linear systems (extended version)., , и . CoRR, (2019)Bayes-Adaptive Planning for Data-Efficient Verification of Uncertain Markov Decision Processes., и . QEST, том 11785 из Lecture Notes in Computer Science, стр. 91-108. Springer, (2019)Hierarchical identification of nonlinear hybrid systems in a Bayesian framework., , , и . Inf. Comput., 289 (Part): 104947 (2022)