( en | de | ru )

 

Disambiguierung von "Abate, Alessandro"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Verification of General Markov Decision Processes by Approximate Similarity Relations and Policy Refinement.

, , und . SIAM J. Control and Optimization, 55 (4): 2333-2367 (2017)

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

Experimental Biological Protocols with Formal Semantics., , , , und . CoRR, (2017)On the Relationship between Bisimulation and Trace Equivalence in an Approximate Probabilistic Context (Extended Version)., und . CoRR, (2017)Logically-Constrained Neural Fitted Q-Iteration., , und . CoRR, (2018)Efficient Probabilistic Model Checking of Smart Building Maintenance using Fault Maintenance Trees., , , und . CoRR, (2018)Verification of General Markov Decision Processes by Approximate Similarity Relations and Policy Refinement., , und . SIAM J. Control and Optimization, 55 (4): 2333-2367 (2017)Linear quadratic regulation of polytopic time-inhomogeneous Markov jump linear systems (extended version)., , und . CoRR, (2019)Analyzing Occupancy-Driven Thermal Dynamics in Smart Buildings., , und . CoRR, (2019)Dynamic Bayesian networks for formal verification of structured stochastic processes., , und . Acta Inf., 54 (2): 217-242 (2017)Data-Efficient Bayesian Verification of Parametric Markov Chains., , , und . QEST, Volume 9826 von Lecture Notes in Computer Science, Seite 35-51. Springer, (2016)Modular Deep Reinforcement Learning with Temporal Logic Specifications., , , und . CoRR, (2019)