Pages that link to "Item:Q1874402"

The following pages link to Presburger liveness verification of discrete timed automata. (Q1874402):

Displaying 7 items.

• Linear reachability problems and minimal solutions to linear Diophantine equation systems (Q703515) (← links)
• An automata-theoretic approach to constraint LTL (Q870361) (← links)
• Verification of qualitative \(\mathbb Z\) constraints (Q959820) (← links)
• LTL over integer periodicity constraints (Q2503321) (← links)
• On composition and lookahead delegation of \(e\)-services modeled by automata (Q2566017) (← links)
• Model-checking CTL* over flat Presburger counter systems (Q2901199) (← links)
• Linear-time temporal logics with Presburger constraints: an overview ★ (Q3647243) (← links)