Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 4.

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. .

Calinescu, Radu orcid.org/0000-0002-2678-9260, Gerasimou, Simos and Banks, Alec (2015) Self-Adaptive Software with Decentralised Control Loops. In: 18th International Conference on Fundamental Approaches to Software Engineering (FASE). UNSPECIFIED. Lecture Notes in Computer Science . Springer Berlin / Heidelberg , pp. 235-251.

This list was generated on Mon Aug 19 02:56:37 2019 BST.