Analyzing LTL model checking techniques for plan synthesis and controller synthesis
dc.contributor.author | Kerjean, Sylvain | |
dc.contributor.author | Kabanza, Froduald | |
dc.contributor.author | St-Denis, Richard | |
dc.contributor.author | Thiebaux, Sylvie | |
dc.date.accessioned | 2015-12-07T22:19:53Z | |
dc.date.issued | 2006 | |
dc.date.updated | 2015-12-07T08:42:54Z | |
dc.description.abstract | 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 | |
dc.identifier.issn | 1571-0661 | |
dc.identifier.uri | http://hdl.handle.net/1885/19559 | |
dc.publisher | Elsevier | |
dc.source | Electronic Notes in Theoretical Computer Science | |
dc.subject | Keywords: Benchmarking; Mathematical models; Program translators; Formula progression; Model checking; Synthesis; Verification; Control equipment Formula progression; LTL2Bchi translators; Model checking; Synthesis; Verification | |
dc.title | Analyzing LTL model checking techniques for plan synthesis and controller synthesis | |
dc.type | Journal article | |
local.bibliographicCitation.issue | 2 | |
local.bibliographicCitation.lastpage | 104 | |
local.bibliographicCitation.startpage | 91 | |
local.contributor.affiliation | Kerjean, Sylvain, University of Sherbrooke | |
local.contributor.affiliation | Kabanza, Froduald, University of Sherbrooke | |
local.contributor.affiliation | St-Denis, Richard, University of Sherbrooke | |
local.contributor.affiliation | Thiebaux, Sylvie, College of Engineering and Computer Science, ANU | |
local.contributor.authoremail | u4033066@anu.edu.au | |
local.contributor.authoruid | Thiebaux, Sylvie, u4033066 | |
local.description.embargo | 2037-12-31 | |
local.description.notes | Imported from ARIES | |
local.identifier.absfor | 080199 - Artificial Intelligence and Image Processing not elsewhere classified | |
local.identifier.ariespublication | u8803936xPUB8 | |
local.identifier.citationvolume | 149 | |
local.identifier.doi | 10.1016/j.entcs.2005.07.028 | |
local.identifier.scopusID | 2-s2.0-31644433450 | |
local.identifier.uidSubmittedBy | u8803936 | |
local.type.status | Published Version |
Downloads
Original bundle
1 - 1 of 1
No Thumbnail Available
- Name:
- 01_Kerjean_Analyzing_LTL_model_checking_2006.pdf
- Size:
- 350.66 KB
- Format:
- Adobe Portable Document Format