Paper Info
Title
Real-time MTL with durations as SMT with applications to schedulability analysis
Abstract
This paper introduces a synthesis procedure for the satisfiability problem of $\mathrm{RMTL}- \int$ formulas as SAT solving modulo theories. $\mathrm{RMTL}- \int$ is a real-time version of metric temporal logic (MTL) extended by a duration quantifier allowing to measure time durations. For any given formula, a SAT instance modulo the theory of arrays, uninterpreted functions with equality and non-...
Year
DOI
Venue
2020
10.1109/TASE49443.2020.00016
2020 International Symposium on Theoretical Aspects of Software Engineering (TASE)
Keywords
DocType
ISBN
metric temporal logic,schedulability analysis,constraint programming,satisfiability modulo theories
Conference
978-1-7281-4086-5
Citations 
PageRank 
References 
0
0.34
0
Authors
4
Name
Order
Citations
PageRank
André Pedro100.34
Martin Leucker21639112.68
David Pereira3338.05
Jorge Sousa Pinto416023.19