Runtime Verification for LTL and TLTL

By Andreas Klaus Bauer, Martin Leucker, Christian Schallhart. TSEM, 2011

652 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Computational Theory and Mathematics, Software

View Paper: https://www.semanticscholar.org/paper/3cd6512f3d4527c54055c1a394d41fbe5768c8fc

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Artificial Intelligence

1. Martin Leucker
2. Christian Schallhart

In Computational Theory and Mathematics

1. Martin Leucker
2. Christian Schallhart

In Software

1. Martin Leucker
2. Christian Schallhart

Citations in the corpus

• A brief account of runtime verification (2009, background): “See [10] for a more elaborate discussion on this topic.”