Items where authors include "Mason, George Rupert"

Export as [feed] Atom [feed] RSS
Number of items: 3.

Book Section

Gerasimou, Simos, Mason, George Rupert, Paterson, Colin Alexander orcid.org/0000-0002-6678-3752 et al. (4 more authors) (2015) Stochastic modeling, analysis and verification of mission-critical systems and processes. In: 4th IMA Conference on Mathematics in Defence. .

Proceedings Paper

Mason, George Rupert, Calinescu, Radu Constantin orcid.org/0000-0002-2678-9260, Kudenko, Daniel orcid.org/0000-0003-3359-3255 et al. (1 more author) (2017) Assured Reinforcement Learning for Safety-Critical Applications. In: Doctoral Consortium at the 10th International Conference on Agents and Artificial Intelligence. UNSPECIFIED. SciTePress .

Mason, George Rupert, Calinescu, Radu Constantin orcid.org/0000-0002-2678-9260, Kudenko, Daniel orcid.org/0000-0003-3359-3255 et al. (1 more author) (2017) Assured Reinforcement Learning with Formally Verified Abstract Policies. In: 9th International Conference on Agents and Artificial Intelligence (ICAART). UNSPECIFIED. .

This list was generated on Sun Mar 24 07:33:15 2024 GMT.