oaioai:pure.atira.dk:publications/be86f751-c1b1-4377-9232-73d521cc854b

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

Full text

thumbnail-image

University of Birmingham Research Portal

Provided original full text link
oaioai:pure.atira.dk:publications/be86f751-c1b1-4377-9232-73d521cc854bLast time updated on 2/1/2019Provided by our Supporting member

This paper was published in University of Birmingham Research Portal.

Having an issue?

Is data on this page outdated, violates copyrights or anything else? Report the problem now and we will take corresponding actions after reviewing your request.