The University of Southampton
University of Southampton Institutional Repository

Resource-aware automata and games for optimal synthesis

Resource-aware automata and games for optimal synthesis
Resource-aware automata and games for optimal synthesis
We consider quantitative notions of parity automaton and parity game aimed at modelling resource aware behaviour, and study (memory-full) strategies for exhibiting accepting runs that require a minimum amount of initial resources, respectively for winning a game with minimum initial resources. We also show how such strategies can be simplified to consist of only two types of moves: the former aimed at increasing resources, the latter aimed at satisfying the acceptance condition.
50-65
Cirstea, Corina
ce5b1cf1-5329-444f-9a76-0abcc47a54ea
Cirstea, Corina
ce5b1cf1-5329-444f-9a76-0abcc47a54ea

Cirstea, Corina (2019) Resource-aware automata and games for optimal synthesis. The Tenth International Symposium on Games, Automata, Logics, and Formal Verification, France. 02 - 03 Sep 2019. pp. 50-65 .

Record type: Conference or Workshop Item (Paper)

Abstract

We consider quantitative notions of parity automaton and parity game aimed at modelling resource aware behaviour, and study (memory-full) strategies for exhibiting accepting runs that require a minimum amount of initial resources, respectively for winning a game with minimum initial resources. We also show how such strategies can be simplified to consist of only two types of moves: the former aimed at increasing resources, the latter aimed at satisfying the acceptance condition.

Text
gandalf - Accepted Manuscript
Available under License Creative Commons Attribution.
Download (260kB)

More information

Accepted/In Press date: 3 July 2019
Published date: 3 September 2019
Venue - Dates: The Tenth International Symposium on Games, Automata, Logics, and Formal Verification, France, 2019-09-02 - 2019-09-03

Identifiers

Local EPrints ID: 432774
URI: http://eprints.soton.ac.uk/id/eprint/432774
PURE UUID: 1fd0da45-f152-49b5-8dbb-0cd2b6805cfa

Catalogue record

Date deposited: 26 Jul 2019 16:30
Last modified: 13 May 2020 16:38

Export record

Contributors

Author: Corina Cirstea

University divisions

Download statistics

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

View more statistics

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×