Amanote Research
Register
Sign In
Active Monitoring Using Real-Time Metric Linear Temporal Logic Specifications
doi 10.5220/0003768703700373
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2012
Authors
Unknown
Publisher
SciTePress - Science and and Technology Publications
Related search
Sampling-Based Stochastic Optimal Control With Metric Interval Temporal Logic Specifications
Regular Linear-Time Temporal Logic
On-Line Model-Checking for Finite Linear Temporal Logic Specifications
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Tool for Deciding the Satisfiability of Continuous-Time Metric Temporal Logic
Acta Informatica
Computer Networks
Software
Information Systems
Communications
Synthesizing Adaptive Test Strategies From Temporal Logic Specifications
Real-Time Earthquake Monitoring With Spatio-Temporal Fields
ISPRS Annals of the Photogrammetry, Remote Sensing and Spatial Information Sciences
Instrumentation
Earth
Planetary Sciences
Environmental Science
Incremental Synthesis of Control Policies for Heterogeneous Multi-Agent Systems With 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
