ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
On Process-Algebraic Extensions of Metric Temporal Logic
Reflections on the Work of C.A.R. Hoare
◽
10.1007/978-1-84882-912-1_13
◽
2010
◽
pp. 283-300
Author(s):
Christoph Haase
◽
Joël Ouaknine
◽
James Worrell
Keyword(s):
Temporal Logic
◽
Metric Temporal Logic
◽
Process Algebraic
Download Full-text
Related Documents
Cited By
References
Partially Punctual Metric Temporal Logic is Decidable
2014 21st International Symposium on Temporal Representation and Reasoning
◽
10.1109/time.2014.17
◽
2014
◽
Cited By ~ 2
Author(s):
Khushraj Madnani
◽
Shankara Narayanan Krishna
◽
Paritosh K Pandya
Keyword(s):
Temporal Logic
◽
Metric Temporal Logic
Download Full-text
A Quantitative Metric Temporal Logic for Execution-Time Constrained Verification
Cyber Physical Systems. Model-Based Design - Lecture Notes in Computer Science
◽
10.1007/978-3-030-23703-5_9
◽
2019
◽
pp. 170-189
Author(s):
Sascha Lehmann
◽
Sven-Thomas Antoni
◽
Alexander Schlaefer
◽
Sibylle Schupp
Keyword(s):
Temporal Logic
◽
Execution Time
◽
Metric Temporal Logic
Download Full-text
Towards the Formal Verification of Data-Intensive Applications Through Metric Temporal Logic
Formal Methods and Software Engineering - Lecture Notes in Computer Science
◽
10.1007/978-3-319-47846-3_13
◽
2016
◽
pp. 193-209
◽
Cited By ~ 4
Author(s):
Francesco Marconi
◽
Marcello M. Bersani
◽
Madalina Erascu
◽
Matteo Rossi
Keyword(s):
Formal Verification
◽
Temporal Logic
◽
Metric Temporal Logic
◽
Data Intensive
◽
Data Intensive Applications
Download Full-text
Vehicle Routing Problem with Metric Temporal Logic Specifications
2008 47th IEEE Conference on Decision and Control
◽
10.1109/cdc.2008.4739366
◽
2008
◽
Cited By ~ 45
Author(s):
Sertac Karaman
◽
Emilio Frazzoli
Keyword(s):
Vehicle Routing
◽
Temporal Logic
◽
Vehicle Routing Problem
◽
Routing Problem
◽
Metric Temporal Logic
Download Full-text
A two‐dimensional metric temporal logic
Mathematical Logic Quarterly
◽
10.1002/malq.201700036
◽
2019
◽
Vol 66
(1)
◽
pp. 7-19
Author(s):
Stefano Baratella
◽
Andrea Masini
Keyword(s):
Temporal Logic
◽
Two Dimensional
◽
Metric Temporal Logic
Download Full-text
Timer formulas and decidable metric temporal logic
Information and Computation
◽
10.1016/j.ic.2004.12.002
◽
2005
◽
Vol 198
(2)
◽
pp. 148-178
◽
Cited By ~ 18
Author(s):
Yoram Hirshfeld
◽
Alexander Rabinovich
Keyword(s):
Temporal Logic
◽
Metric Temporal Logic
Download Full-text
A note on unbounded metric temporal logic over dense time domains
Mathematical Logic Quarterly
◽
10.1002/malq.200510043
◽
2006
◽
Vol 52
(5)
◽
pp. 450-456
Author(s):
Stefano Baratella
◽
Andrea Masini
Keyword(s):
Temporal Logic
◽
Metric Temporal Logic
◽
Time Domains
Download Full-text
An MILP approach for real-time optimal controller synthesis with Metric Temporal Logic specifications
2016 American Control Conference (ACC)
◽
10.1109/acc.2016.7525063
◽
2016
◽
Cited By ~ 12
Author(s):
Sayan Saha
◽
A. Agung Julius
Keyword(s):
Real Time
◽
Temporal Logic
◽
Controller Synthesis
◽
Optimal Controller
◽
Metric Temporal Logic
◽
Time Optimal
Download Full-text
Expressive Completeness for Metric Temporal Logic
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science
◽
10.1109/lics.2013.41
◽
2013
◽
Cited By ~ 15
Author(s):
Paul Hunter
◽
Joel Ouaknine
◽
James Worrell
Keyword(s):
Temporal Logic
◽
Metric Temporal Logic
Download Full-text
A theory of sampling for continuous-time metric temporal logic
ACM Transactions on Computational Logic
◽
10.1145/1838552.1838560
◽
2010
◽
Vol 12
(1)
◽
pp. 1-40
◽
Cited By ~ 9
Author(s):
Carlo A. Furia
◽
Matteo Rossi
Keyword(s):
Temporal Logic
◽
Continuous Time
◽
Metric Temporal Logic
◽
Theory Of Sampling
Download Full-text
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close