Skip navigation
Skip navigation

Matching trace patterns with regular policies

Baader, Franz; Bauer, Andreas; Tiu, Alwen

Description

We consider policies that are described by regular expressions, finite automata, or formulae of linear temporal logic (LTL). Such policies are assumed to describe situations that are problematic, and thus should be avoided. Given a trace pattern u, i.e.,

dc.contributor.authorBaader, Franz
dc.contributor.authorBauer, Andreas
dc.contributor.authorTiu, Alwen
dc.date.accessioned2015-12-10T22:39:22Z
dc.identifier.isbn9783642009815
dc.identifier.urihttp://hdl.handle.net/1885/57138
dc.description.abstractWe consider policies that are described by regular expressions, finite automata, or formulae of linear temporal logic (LTL). Such policies are assumed to describe situations that are problematic, and thus should be avoided. Given a trace pattern u, i.e.,
dc.publisherSpringer
dc.relation.ispartofLanguage and Automata Theory and Applications
dc.subjectKeywords: Linear temporal logic; Regular expressions; Sequence of actions; Linguistics; Robots; Temporal logic; Translation (languages); Automata theory
dc.titleMatching trace patterns with regular policies
dc.typeBook chapter
local.description.notesImported from ARIES
dc.date.issued2009
local.identifier.absfor080309 - Software Engineering
local.identifier.absfor080203 - Computational Logic and Formal Languages
local.identifier.absfor080303 - Computer System Security
local.identifier.ariespublicationu8803936xPUB388
local.type.statusPublished Version
local.contributor.affiliationBaader, Franz, Technical University of Dresden
local.contributor.affiliationBauer, Andreas, College of Engineering and Computer Science, ANU
local.contributor.affiliationTiu, Alwen, College of Engineering and Computer Science, ANU
local.description.embargo2037-12-31
local.bibliographicCitation.startpage105
local.bibliographicCitation.lastpage116
local.identifier.doi10.1007/978-3-642-00982-2_9
dc.date.updated2016-02-24T11:44:38Z
local.bibliographicCitation.placeofpublicationGermany
local.identifier.scopusID2-s2.0-67649958898
CollectionsANU Research Publications

Download

File Description SizeFormat Image
01_Baader_Matching_trace_patterns_with_2009.pdf185.7 kBAdobe PDF    Request a copy
02_Baader_Matching_trace_patterns_with_2009.pdf82.42 kBAdobe PDF    Request a copy
03_Baader_Matching_trace_patterns_with_2009.pdf140.74 kBAdobe PDF    Request a copy
04_Baader_Matching_trace_patterns_with_2009.pdf20.08 kBAdobe PDF    Request a copy
05_Baader_Matching_trace_patterns_with_2009.pdf91.32 kBAdobe PDF    Request a copy


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

Updated:  19 May 2020/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator