Pages that link to "Item:Q1395897"
From MaRDI portal
The following pages link to Verification of reactive systems. Formal methods and algorithms. (Q1395897):
Displaying 11 items.
- Some subsets of monadic first-order logic (MFO) used for the specification and synthesis of \(\Sigma\)-automata (Q1709455) (← links)
- On the complexity of linear temporal logic with team semantics (Q2193280) (← links)
- From LP formulas of the form \(F(t)\) to \(-\omega \)-regular expressions (Q2215841) (← links)
- Shift-invariant topologies for the Cantor space \(X^{\omega}\) (Q2357113) (← links)
- Symbolic graphs: Linear solutions to connectivity related problems (Q2471809) (← links)
- Characterizing CTL-like logics on finite trees. (Q2490815) (← links)
- Modelling of Complex Software Systems: A Reasoned Overview (Q3613056) (← links)
- Computable CTL * for Discrete-Time and Continuous-Space Dynamic Systems (Q3646256) (← links)
- (Q5109512) (← links)
- Cascade Products and Temporal Logics on Finite Trees (Q5262961) (← links)
- Assumption-based runtime verification (Q6102167) (← links)
