From Propositional to First-Order Monitoring
-
Altmetric Citations
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
Collections | ANU 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 | Size | Format | Image |
---|---|---|---|---|
01_Bauer_From_Propositional_to_2013.pdf | 2.15 MB | Adobe PDF | Request a copy |
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.
Updated: 17 November 2022/ Responsible Officer: University Librarian/ Page Contact: Library Systems & Web Coordinator