Pages that link to "Item:Q2946736"
From MaRDI portal
The following pages link to Temporal Specifications with Accumulative Values (Q2946736):
Displayed 23 items.
- Quantitative fair simulation games (Q528184) (← links)
- What's decidable about weighted automata? (Q2064522) (← links)
- ``Most of'' leads to undecidability: failure of adding frequencies to LTL (Q2233396) (← links)
- Hyperplane separation technique for multidimensional mean-payoff games (Q2361356) (← links)
- Model checking and synthesis for branching multi-weighted logics (Q2423760) (← links)
- Quantitative vs. weighted automata (Q2695484) (← links)
- Nearly Optimal Verifiable Data Streaming (Q2798786) (← links)
- Stochastization of Weighted Automata (Q2946327) (← links)
- Ratio and Weight Quantiles (Q2946351) (← links)
- Temporal Specifications with Accumulative Values (Q2946736) (← links)
- Introduction to Model Checking (Q3176359) (← links)
- Maximizing the Conditional Expected Reward for Reaching the Goal (Q3303934) (← links)
- (Q3304149) (← links)
- Quantitative Automata under Probabilistic Semantics (Q4635863) (← links)
- Synthesis for Multi-weighted Games with Branching-Time Winning Conditions (Q5100749) (← links)
- Bidirectional nested weighted automata (Q5111617) (← links)
- Solving Mean-Payoff Games via Quasi Dominions (Q5164175) (← links)
- Probabilistic Model Checking for Energy-Utility Analysis (Q5418957) (← links)
- (Q5875378) (← links)
- (Q5875383) (← links)
- Quantitative safety and liveness (Q6091203) (← links)
- Reasoning about Quality and Fuzziness of Strategic Behaviors (Q6116358) (← links)
- On the complexity of rational verification (Q6133701) (← links)