A Tool for Deciding the Satisfiability of Continuous-Time Metric Temporal Logic

Acta Informatica - Germany
doi 10.1007/s00236-015-0229-y
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Science and Business Media LLC

Related search

Active Monitoring Using Real-Time Metric Linear Temporal Logic Specifications

2012English

Temporal Logic Query Checking: A Tool for Model Exploration

IEEE Transactions on Software Engineering
Software
2003English

A Resolution Calculus for the Branching-Time Temporal Logic CTL

ACM Transactions on Computational Logic
Computational MathematicsTheoretical Computer ScienceComputer ScienceLogic
2014English

Alternating-Time Temporal Logic

Computer Standards and Interfaces
HardwareLawArchitectureSoftware
1999English

Fly-By-Logic: A Tool for Unmanned Aircraft System Fleet Planning Using Temporal Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Regular Linear-Time Temporal Logic

2010English

Temporal Super-Resolution for Time Domain Continuous Imaging

Electronic Imaging
2017English

Sampling-Based Stochastic Optimal Control With Metric Interval Temporal Logic Specifications

2016English

Continuous Time Filter Design Using Stochastic Logic

English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy