Analyzing LTL model checking techniques for plan synthesis and controller synthesis

dc.contributor.authorKerjean, Sylvain
dc.contributor.authorKabanza, Froduald
dc.contributor.authorSt-Denis, Richard
dc.contributor.authorThiebaux, Sylvie
dc.date.accessioned2015-12-07T22:19:53Z
dc.date.issued2006
dc.date.updated2015-12-07T08:42:54Z
dc.description.abstractIn 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.issn1571-0661
dc.identifier.urihttp://hdl.handle.net/1885/19559
dc.publisherElsevier
dc.sourceElectronic Notes in Theoretical Computer Science
dc.subjectKeywords: Benchmarking; Mathematical models; Program translators; Formula progression; Model checking; Synthesis; Verification; Control equipment Formula progression; LTL2Bchi translators; Model checking; Synthesis; Verification
dc.titleAnalyzing LTL model checking techniques for plan synthesis and controller synthesis
dc.typeJournal article
local.bibliographicCitation.issue2
local.bibliographicCitation.lastpage104
local.bibliographicCitation.startpage91
local.contributor.affiliationKerjean, Sylvain, University of Sherbrooke
local.contributor.affiliationKabanza, Froduald, University of Sherbrooke
local.contributor.affiliationSt-Denis, Richard, University of Sherbrooke
local.contributor.affiliationThiebaux, Sylvie, College of Engineering and Computer Science, ANU
local.contributor.authoremailu4033066@anu.edu.au
local.contributor.authoruidThiebaux, Sylvie, u4033066
local.description.embargo2037-12-31
local.description.notesImported from ARIES
local.identifier.absfor080199 - Artificial Intelligence and Image Processing not elsewhere classified
local.identifier.ariespublicationu8803936xPUB8
local.identifier.citationvolume149
local.identifier.doi10.1016/j.entcs.2005.07.028
local.identifier.scopusID2-s2.0-31644433450
local.identifier.uidSubmittedByu8803936
local.type.statusPublished Version

Downloads

Original bundle

Now showing 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
Back to topicon-arrow-up-solid
 
APRU
IARU
 
edX
Group of Eight Member

Acknowledgement of Country

The Australian National University acknowledges, celebrates and pays our respects to the Ngunnawal and Ngambri people of the Canberra region and to all First Nations Australians on whose traditional lands we meet and work, and whose cultures are among the oldest continuing cultures in human history.


Contact ANUCopyrightDisclaimerPrivacyFreedom of Information

+61 2 6125 5111 The Australian National University, Canberra

TEQSA Provider ID: PRV12002 (Australian University) CRICOS Provider Code: 00120C ABN: 52 234 063 906