Temporal-logic queries
From MaRDI portal
Recommendations
Cited in
(28)- Applying model-checking to solve queries on semistructured data
- Modeling and querying biomolecular interaction networks
- Event-based time-stamped claim logic
- An abstraction-refinement framework for trigger querying
- A framework for compositional verification of multi-valued systems via abstraction-refinement
- A tableau construction for finite linear-time temporal logic
- Parameterized weighted containment
- Inherent vacuity in lattice automata
- On solving temporal logic queries
- Dynamic Logic Model of Time Axes in Temporal Database
- Query-Based Model Checking of Ad Hoc Network Protocols
- On the Notion of Vacuous Truth
- Latticed Simulation Relations and Games
- Multi-valued model checking games
- Flow logic
- The Complexity of Linear-Time Temporal Logic Model Repair
- Computer Science Logic
- Variants of LTL query checking
- Lattice Automata
- Automata, Languages and Programming
- Minimizing deterministic lattice automata
- Learning and characterizing fully-ordered lattice automata
- A framework for computing upper bounds in passive learning settings
- Direct encoding of declare constraints in ASP
- ASQ-IT: interactive explanations for reinforcement-learning agents
- The complexity of learning LTL, CTL and ATL formulas
- Data structures for symbolic multi-valued model-checking
- Performance analysis of temporal queries
This page was built for publication: Temporal-logic queries
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2754106)
