Pages that link to "Item:Q5705878"
From MaRDI portal
The following pages link to Foundations of Software Science and Computational Structures (Q5705878):
Displayed 10 items.
- Multi-weighted automata and MSO logic (Q504993) (← links)
- A Kleene-Schützenberger theorem for weighted timed automata (Q631775) (← links)
- Extended beam search for non-exhaustive state space analysis (Q652163) (← links)
- Optimal reachability for multi-priced timed automata (Q2474054) (← links)
- On model-checking timed automata with stopwatch observers (Q2492187) (← links)
- Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems (Q2948229) (← links)
- Weight Assignment Logic (Q3451120) (← links)
- Infinite Runs in Weighted Timed Automata with Energy Constraints (Q3543286) (← 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)