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 proceedingConference contribution

2 Citations (Scopus)
Original languageEnglish
Title of host publicationAAAI Fall Symposium - Technical Report
PublisherAI Access Foundation
Pages54-55
Number of pages2
VolumeFS-15-06
ISBN (Print)9781577357520
Publication statusPublished - 2015
EventAAAI 2015 Fall Symposium, Sequential Decision Making for Intelligent Agents - Arlington, Virginia, United States
Duration: 12 Nov 201514 Nov 2015

Conference

ConferenceAAAI 2015 Fall Symposium, Sequential Decision Making for Intelligent Agents
Country/TerritoryUnited States
CityArlington, Virginia
Period12/11/1514/11/15

ASJC Scopus subject areas

  • General Engineering

Cite this