Nested value iteration for partially satisfiable co-safe ltl specifications (Extended Abstract)
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Authors
Colleges, School and Institutes
Details
Original language | English |
---|---|
Title of host publication | AAAI Fall Symposium - Technical Report |
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
Conference | AAAI 2015 Fall Symposium, Sequential Decision Making for Intelligent Agents |
---|---|
Country | United States |
City | Arlington, Virginia |
Period | 12/11/15 → 14/11/15 |