ML p(r)ior | Autonomous Agent Behaviour Modelled in PRISM -- A Case Study

Autonomous Agent Behaviour Modelled in PRISM -- A Case Study

2016-02-01
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 definition of autonomy which can be used to model autonomous scenarios and propose the use of small-scale simulation models representing abstract actions to infer quantitative data. To demonstrate the applicability of the approach we build and verify a model of an unmanned aerial vehicle (UAV) in an exemplary autonomous scenario, utilising this approach.
PDF

Highlights - Most important sentences from the article

Login to like/save this paper, take notes and configure your recommendations

Related Articles

2019-01-10

By achieving their purposes through interactions with the physical world, Cyber-Physical Systems (CP… show more
PDF

Highlights - Most important sentences from the article

2019-04-15

Designing reliable decision strategies for autonomous urban driving is challenging. Reinforcement le… show more
PDF

Highlights - Most important sentences from the article

2019-05-10

Statistical model checking (SMC) is a technique for analysis of probabilistic systems that may be (p… show more
PDF

Highlights - Most important sentences from the article

2019-05-15
1905.05965 | cs.CR

Penetration testing (pentesting) involves performing a controlled attack on a computer system in ord… show more
PDF

Highlights - Most important sentences from the article

2018-06-29

Autonomous robotic systems are complex, hybrid, and often safety-critical; this makes their formal s… show more
PDF

Highlights - Most important sentences from the article

2019-04-05
1904.03008 | cs.AI

Planning in stochastic and partially observable environments is a central issue in artificial intell… show more
PDF

Highlights - Most important sentences from the article

2019-03-07

This paper addresses a fundamental question of multi-agent knowledge distribution: what information … show more
PDF

Highlights - Most important sentences from the article

2019-02-02

This paper proposes the first model-free Reinforcement Learning (RL) framework to synthesise policie… show more
PDF

Highlights - Most important sentences from the article

2019-05-10

Reinforcement learning (RL) methods learn optimal decisions in the presence of a stationary environm… show more
PDF

Highlights - Most important sentences from the article

2019-01-29

StocHy is a software tool for the quantitative analysis of discrete-time stochastic hybrid systems (… show more
PDF

Highlights - Most important sentences from the article

2019-02-21

The problem of dispatching emergency responders to service traffic accidents, fire, distress calls a… show more
PDF

Highlights - Most important sentences from the article

2018-10-16
1810.07096 | cs.AI

Most of the works on planning and learning, e.g., planning by (model based) reinforcement learning, … show more
PDF

Highlights - Most important sentences from the article

2018-09-28

Active classification, i.e., the sequential decision-making process aimed at data acquisition for cl… show more
PDF

Highlights - Most important sentences from the article

2019-04-25

Navigating urban environments represents a complex task for automated vehicles. They must reach thei… show more
PDF

Highlights - Most important sentences from the article

2018-07-12

Deep reinforcement learning has recently shown many impressive successes. However, one major obstacl… show more
PDF

Highlights - Most important sentences from the article