4 citations · 16 across the 15 of their papers we have counts for
Showing eess.SYShow all
2 papers · 1 filter
eess.SY2023
Point-Based Value Iteration for POMDPs with Neural Perception Mechanisms
Rui Yan, Gabriel Santos, Gethin Norman +2
The increasing trend to integrate neural networks and conventional software components in safety-critical settings calls for methodologies for their formal modelling, verification…
eess.SY2016★ 3 cited
Autonomous Agent Behaviour Modelled in PRISM -- A Case Study
Ruth Hoffmann, Murray Ireland, Alice Miller +2
Formal verification of agents representing robot behaviour is a growing area due to the demand that autonomous systems have to be proven safe. In this paper we present an abstract…