Skip navigation
Skip navigation

From Propositional to First-Order Monitoring

Bauer, Andreas; Kuester, Jan-Christoph; Vegliach, Gil

Description

The main purpose of this paper is to introduce a first-order temporal logic, LTLFO, and a corresponding monitor construction based on a new type of automaton, called spawning automaton. Specifically, we show that monitoring a specification in LTLFO boils

CollectionsANU Research Publications
Date published: 2013
Type: Conference paper
URI: http://hdl.handle.net/1885/66310
Source: From Propositional to First-Order Monitoring
DOI: 10.1007/978-3-642-40787-1_4

Download

File Description SizeFormat Image
01_Bauer_From_Propositional_to_2013.pdf2.15 MBAdobe 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