Author of the publication

Sampling-based Approximations with Quantitative Performance for the Probabilistic Reach-Avoid Problem over General Markov Processes.

, , and . CoRR, (2014)

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. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Abate, Alessandro
add a person with the name Abate, Alessandro
 

Other publications of authors with the same name

An approximate dynamic programming approach to probabilistic reachability for stochastic hybrid systems., , , and . CDC, page 4018-4023. IEEE, (2008)Approximate abstractions of stochastic systems: A randomized method., and . CDC-ECE, page 4861-4866. IEEE, (2011)Characterization and computation of infinite-horizon specifications over Markov processes., and . Theor. Comput. Sci., (2014)Aggregation and Control of Populations of Thermostatically Controlled Loads by Formal Abstractions., and . IEEE Trans. Contr. Sys. Techn., 23 (3): 975-990 (2015)Data-driven and Model-based Verification: a Bayesian Identification Approach., , and . CoRR, (2015)Verification of general Markov decision processes by approximate similarity relations and policy refinement., , and . CoRR, (2016)Impact of Solar Panels and Cooling Devices on Frequency Control After a Generation Loss Incident., , , and . CDC, page 5904-5909. IEEE, (2018)Modelling Smart Buildings Using Fault Maintenance Trees., , , , , and . EPEW, volume 11178 of Lecture Notes in Computer Science, page 110-125. Springer, (2018)StocHy - automated verification and synthesis of stochastic processes: poster abstract., and . HSCC, page 258-259. ACM, (2019)Approximate Abstractions of Markov Chains with Interval Decision Processes., , , and . ADHS, volume 51 of IFAC-PapersOnLine, page 91-96. Elsevier, (2018)