From Propositional to First-Order Monitoring
Loading...
Date
Authors
Bauer, Andreas
Kuester, Jan-Christoph
Vegliach, Gil
Journal Title
Journal ISSN
Volume Title
Publisher
Springer-Verlag Berlin Heidelberg
Abstract
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
Description
Keywords
Citation
Collections
Source
From Propositional to First-Order Monitoring
Type
Book Title
Entity type
Access Statement
License Rights
Restricted until
2037-12-31
Downloads
File
Description