The following pages link to Bounded semantics (Q483292):
Displaying 5 items.
- Bounded game-theoretic semantics for modal mu-calculus (Q2105468) (← links)
- Alternating-time temporal logic ATL with finitely bounded semantics (Q2334601) (← links)
- Linear templates of ACTL formulas with an application to SAT-based verification (Q2398494) (← links)
- (Q5021004) (← links)
- First order Büchi automata and their application to verification of LTL specifications (Q6643476) (← links)
