Pages that link to "Item:Q870361"

The following pages link to An automata-theoretic approach to constraint LTL (Q870361):

Displaying 23 items.

• A tool for deciding the satisfiability of continuous-time metric temporal logic (Q262137) (← links)
• Satisfiability of \(\operatorname{ECTL}^\ast\) with constraints (Q269503) (← links)
• On temporal logics with data variable quantifications: decidability and complexity (Q342712) (← links)
• Constraint LTL satisfiability checking without automata (Q472802) (← links)
• Reasoning about sequences of memory states (Q636268) (← links)
• A logical characterization of timed regular languages (Q728264) (← links)
• Using formal verification to evaluate the execution time of Spark applications (Q782497) (← links)
• An SMT-based approach to satisfiability checking of MITL (Q897649) (← links)
• Verification of qualitative \(\mathbb Z\) constraints (Q959820) (← links)
• On clock-aware LTL parameter synthesis of timed automata (Q1648651) (← links)
• On the initialization of clocks in timed formalisms (Q1989329) (← links)
• Using model theory to find decidable and tractable description logics with concrete domains (Q2090131) (← links)
• Description logics with concrete domains and general concept inclusions revisited (Q2096462) (← links)
• CTL* model checking for data-aware dynamic systems with arithmetic (Q2104496) (← links)
• Model checking of linear-time properties in multi-valued systems (Q2282319) (← links)
• Satisfiability of \(\mathrm{ECTL}^*\) with local tree constraints (Q2411048) (← links)
• Verification of gap-order constraint abstractions of counter systems (Q2435309) (← links)
• Verification of Gap-Order Constraint Abstractions of Counter Systems (Q2891403) (← links)
• Generalized Qualitative Spatio-Temporal Reasoning: Complexity and Tableau Method (Q3455761) (← links)
• Separation logics and modalities: a survey (Q4586138) (← links)
• (Q4972736) (← links)
• Church synthesis on register automata over linearly ordered data domains (Q6151760) (← links)
• Realizability problem for constraint LTL (Q6178458) (← links)