Pages that link to "Item:Q2946736"

The following pages link to Temporal Specifications with Accumulative Values (Q2946736):

Displaying 21 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)
• On the complexity of rational verification (Q6133701) (← links)