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 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 2015 → 14 Nov 2015

Conference

ConferenceAAAI 2015 Fall Symposium, Sequential Decision Making for Intelligent Agents
CountryUnited States
CityArlington, Virginia
Period12/11/15 → 14/11/15

ASJC Scopus subject areas

Save citation Saved citations (0)

Copy the text from this field...

View graph of relations

By the same authors

Multi-objective Policy Generation for Mobile Robots under Probabilistic Time-Bounded Guarantees

Bruno Lacerda, David Parker & Nick Hawes, 26 Jan 2017, (Accepted/In press) Proceedings of the twenty seventh International Conference on Automated Planning and Scheduling (ICAPS 2017). AAAI Press, 9 p.

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

Optimal Policy Generation for Partially Satisfiable Co-Safe LTL Specifications

Bruno Lacerda, David Parker & Nick Hawes, 20 Jul 2015, Proc. 24th International Joint Conference on Artificial Intelligence (IJCAI'15). Yang, Q. & Wooldridge, M. (eds.). Association for the Advancement of Artificial Intelligence, p. 1587-1593

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

PRISM-games 3.0: Stochastic Game Verification with Concurrency, Equilibria and Time

David Parker, 6 Apr 2020, (Accepted/In press) 32nd International Conference on Computer Aided Verification (CAV 2020), Proceedings. Springer, 12 p. (Lecture Notes in Computer Science).

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

Verification and control of turn-based probabilistic real-time games

David Parker, 4 Nov 2019, The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy: Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday. Alvim, M., Chatzikokolakis, K., Olarte, C. & Valencia, F. (eds.). Springer, Vol. 11760. p. 379-396 16 p. (Lecture Notes in Computer Science).

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

Equilibria-based probabilistic model checking for concurrent stochastic games

David Parker, 23 Sep 2019, Formal Methods – The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings. ter Beek, M. H., McIver, A. & Oliveira, J. N. (eds.). Springer, p. 298-315 18 p. (Lecture Notes in Computer Science; vol. 11800)(Programming and Software Engineering; vol. 11800).

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