A Recursive Temporal Logic

TitleA Recursive Temporal Logic
Publication TypeConference Paper
Year of Publication2015
AuthorsCastro, PF, Kilmurray, C, Piterman, N
Conference Name17th International Conference on Formal Engineering Methods
PublisherSpringer-Verlag
KeywordsAutomata, Games, Temporal Logic
Work Package: 
WP4