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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Colleges, School and Institutes

Details

Original languageEnglish
Title of host publicationAAAI Fall Symposium - Technical Report
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
CountryUnited States
CityArlington, Virginia
Period12/11/1514/11/15

ASJC Scopus subject areas