The following pages link to Shaull Almagor (Q1622946):
Displaying 36 items.
- Weak cost register automata are still powerful (Q1622948) (← links)
- Latticed-LTL synthesis in the presence of noisy inputs (Q1677194) (← links)
- First-order orbit queries (Q2048201) (← links)
- What's decidable about weighted automata? (Q2064522) (← links)
- Quantitative assume guarantee synthesis (Q2164236) (← links)
- Good-enough synthesis (Q2226757) (← links)
- Sensing as a complexity measure (Q2400985) (← links)
- (Q2978510) (← links)
- Max and Sum Semantics for Alternating Weighted Automata (Q3172902) (← links)
- What’s Decidable about Weighted Automata? (Q3172937) (← links)
- Formally Reasoning About Quality (Q3177797) (← links)
- (Q4608660) (← links)
- Promptness in ω-Regular Automata (Q4931280) (← links)
- O-Minimal Invariants for Discrete-Time Dynamical Systems (Q5002799) (← links)
- (Q5009460) (← links)
- (Q5089305) (← links)
- (Q5089314) (← links)
- (Q5090452) (← links)
- (Q5111354) (← links)
- Sensing as a Complexity Measure (Q5205034) (← links)
- (Q5275381) (← links)
- High-Quality Synthesis Against Stochastic Environments (Q5278414) (← links)
- Formalizing and Reasoning about Quality (Q5327419) (← links)
- (Q5357713) (← links)
- Latticed-LTL Synthesis in the Presence of Noisy Inputs (Q5410675) (← links)
- Discounting in LTL (Q5498739) (← links)
- Weak Cost Register Automata are Still Powerful (Q5859644) (← links)
- (Q6124930) (← links)
- Simulation by Rounds of Letter-to-Letter Transducers (Q6178697) (← links)
- Temporal segmentation in multi agent path finding with applications to explainability (Q6566611) (← links)
- Determinization of one-counter nets (Q6587125) (← links)
- Concurrent games with multiple topologies (Q6587143) (← links)
- Determinization of integral discounted-sum automata is decidable (Q6629458) (← links)
- Dimension-minimality and primality of counter nets (Q6629528) (← links)
- The geometry of reachability in continuous vector addition systems with states (Q6647635) (← links)
- Jumping automata over infinite words (Q6661761) (← links)
