Amanote Research
Register
Sign In
Regular Linear-Time Temporal Logic
doi 10.1109/time.2010.29
Full Text
Open PDF
Abstract
Available in
full text
Date
September 1, 2010
Authors
Martin Leucker
Cesar Sanchez
Publisher
IEEE
Related search
Active Monitoring Using Real-Time Metric Linear Temporal Logic Specifications
Alternating-Time Temporal Logic
Computer Standards and Interfaces
Hardware
Law
Architecture
Software
Linear Temporal Logic-Based Mission Planning
International Journal of Interactive Multimedia and Artificial Intelligence
The Complexity of Linear-Time Temporal Logic Over the Class of Ordinals
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Cyclic Proofs for Linear Temporal Logic
Linear Time Logic Control of Discrete-Time Linear Systems
IEEE Transactions on Automatic Control
Control
Systems Engineering
Computer Science Applications
Electrical
Electronic Engineering
Linear Temporal Logic and Propositional Schemata, Back and Forth
On-Line Model-Checking for Finite Linear Temporal Logic Specifications
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
On the Expressive Power of Some Extensions of Linear Temporal Logic
Automatic Control and Computer Sciences
Control
Systems Engineering
Signal Processing
Software