Pages that link to "Item:Q5308409"
From MaRDI portal
The following pages link to Tools and Algorithms for the Construction and Analysis of Systems (Q5308409):
Displaying 7 items.
- A Kleene-Schützenberger theorem for weighted timed automata (Q631775) (← links)
- On the complexities of selected satisfiability and equivalence queries over Boolean formulas and inclusion queries over hulls (Q1040040) (← links)
- Backward symbolic optimal reachability in weighted timed automata (Q1996010) (← links)
- Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems (Q2948229) (← links)
- Survey on Directed Model Checking (Q3614878) (← links)
- Model Checking Logic WCTL with Multi Constrained Modalities on One Clock Priced Timed Automata (Q3648825) (← links)
- A Kleene-Schützenberger Theorem for Weighted Timed Automata (Q5458356) (← links)
