( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Multi-Agent Reinforcement Learning with Temporal Logic Specifications.

, , , и . AAMAS, стр. 583-592. ACM, (2021)

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

Aida Abate

Alula Abate

 

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

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)Efficient Probabilistic Model Checking of Smart Building Maintenance using Fault Maintenance Trees., , , и . CoRR, (2018)Data-Efficient Bayesian Verification of Parametric Markov Chains., , , и . QEST, том 9826 из Lecture Notes in Computer Science, стр. 35-51. Springer, (2016)SafePILCO: A Software Tool for Safe and Data-Efficient Policy Synthesis., , , и . QEST, том 12289 из Lecture Notes in Computer Science, стр. 18-26. Springer, (2020)Approximate Model Checking of Stochastic Hybrid Systems., , , и . Eur. J. Control, 16 (6): 624-641 (2010)Formal and Efficient Synthesis for Continuous-Time Linear Stochastic Hybrid Processes., , , , и . IEEE Trans. Autom. Control., 66 (1): 17-32 (2021)Reasoning about Causality in Games., , , , , и . CoRR, (2023)Observational Robustness and Invariances in Reinforcement Learning via Lexicographic Objectives., , , , и . CoRR, (2022)