Finding State Solutions to Temporal Logic Queries

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-540-73210-5_15
Full Text
Abstract

Available in full text

Date

Unknown

Authors
Publisher

Springer Berlin Heidelberg

Related search

Stream Reasoning Using Temporal Logic and Predictive Probabilistic State Models

2016English

Disambiguating Implicit Temporal Queries for Temporal Information Retrieval Applications

ACM SIGIR Forum
2013English

Finding Small Solutions to Small Degree Polynomials

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2001English

Finding Paths in Sparse Random Graphs Requires Many Queries

Random Structures and Algorithms
MathematicsApplied MathematicsComputer GraphicsComputer-Aided DesignSoftware
2016English

Peer Review: Finding Practical Solutions to 'Crowding Out'

Health Affairs
MedicineHealth Policy
1997English

Temporal Logic Model Checking: Two Techniques for Avoiding the State Explosion Problem

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1991English

Alternating-Time Temporal Logic

Computer Standards and Interfaces
HardwareLawArchitectureSoftware
1999English

STEPQ: Spatio-Temporal Engine for Complex Pattern Queries

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Finding Solutions for Treating Depression

Psychiatric Annals
PsychiatryMental Health
2019English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy