Skip navigation
Skip navigation

Analyzing LTL model checking techniques for plan synthesis and controller synthesis

Kerjean, Sylvain; Kabanza, Froduald; St-Denis, Richard; Thiebaux, Sylvie


In this paper, we present alternative means of handling invariances in reachability testing, either by formula progression or compilation into Büchi automata. These alternatives are presented in connection with three different applications of model check

CollectionsANU Research Publications
Date published: 2006
Type: Journal article
Source: Electronic Notes in Theoretical Computer Science
DOI: 10.1016/j.entcs.2005.07.028


File Description SizeFormat Image
01_Kerjean_Analyzing_LTL_model_checking_2006.pdf350.66 kBAdobe PDF    Request a copy

Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  20 July 2017/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator