Nested value iteration for partially satisfiable co-safe ltl specifications (Extended Abstract)

Bruno Lacerda, David Parker, Nick Hawes

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

2 Citations (Scopus)

Original language	English
Title of host publication	AAAI Fall Symposium - Technical Report
Publisher	AI Access Foundation
Pages	54-55
Number of pages	2
Volume	FS-15-06
ISBN (Print)	9781577357520
Publication status	Published - 2015
Event	AAAI 2015 Fall Symposium, Sequential Decision Making for Intelligent Agents - Arlington, Virginia, United States Duration: 12 Nov 2015 → 14 Nov 2015

Conference	AAAI 2015 Fall Symposium, Sequential Decision Making for Intelligent Agents
Country/Territory	United States
City	Arlington, Virginia
Period	12/11/15 → 14/11/15

ASJC Scopus subject areas

@inproceedings{be86f751c1b14377923273d521cc854b,

title = "Nested value iteration for partially satisfiable co-safe ltl specifications (Extended Abstract)",

author = "Bruno Lacerda and David Parker and Nick Hawes",

year = "2015",

language = "English",

isbn = "9781577357520",

volume = "FS-15-06",

pages = "54--55",

booktitle = "AAAI Fall Symposium - Technical Report",

publisher = "AI Access Foundation",

address = "United States",

note = "AAAI 2015 Fall Symposium, Sequential Decision Making for Intelligent Agents ; Conference date: 12-11-2015 Through 14-11-2015",

}

TY - GEN

T1 - Nested value iteration for partially satisfiable co-safe ltl specifications (Extended Abstract)

AU - Lacerda, Bruno

AU - Parker, David

AU - Hawes, Nick

PY - 2015

Y1 - 2015

UR - http://www.scopus.com/inward/record.url?scp=84964671337&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:84964671337

SN - 9781577357520

VL - FS-15-06

SP - 54

EP - 55

BT - AAAI Fall Symposium - Technical Report

PB - AI Access Foundation

T2 - AAAI 2015 Fall Symposium, Sequential Decision Making for Intelligent Agents

Y2 - 12 November 2015 through 14 November 2015

ER -