The following pages link to Luca de Alfaro (Q355504):
Displaying 50 items.
- Strategy improvement for concurrent reachability and turn-based stochastic safety games (Q355506) (← links)
- Solving games via three-valued abstraction refinement (Q979079) (← links)
- Hybrid diagrams (Q1853604) (← links)
- Quantitative solution of omega-regular games (Q1887716) (← links)
- Code aware resource management (Q2248054) (← links)
- Concurrent reachability games (Q2465027) (← links)
- Model checking discounted temporal properties (Q2575738) (← links)
- (Q2754083) (← links)
- Algorithms for Game Metrics (Q2786130) (← links)
- THE COMPLEXITY OF COVERAGE (Q2841992) (← links)
- Qualitative concurrent parity games (Q2946647) (← links)
- Model checking of probabilistic and nondeterministic systems (Q2956706) (← links)
- Algorithms for Game Metrics (Q3165951) (← links)
- Model Checking Probabilistic Systems (Q3176386) (← links)
- Solving Games Via Three-Valued Abstraction Refinement (Q3525630) (← links)
- Game Refinement Relations and Metrics (Q3535612) (← links)
- The complexity of quantitative concurrent parity games (Q3581549) (← links)
- The Symbolic Approach to Repeated Games (Abstract) (Q3608398) (← links)
- Qualitative Logics and Equivalences for Probabilistic Systems (Q3636806) (← links)
- (Q4255554) (← links)
- (Q4270052) (← links)
- (Q4270053) (← links)
- (Q4439564) (← links)
- (Q4449238) (← links)
- (Q4449239) (← links)
- (Q4473719) (← links)
- (Q4536620) (← links)
- (Q4553259) (← links)
- (Q4633826) (← links)
- (Q4791844) (← links)
- (Q4791854) (← links)
- (Q4791855) (← links)
- Synchronous and Bidirectional Component Interfaces (Q4804913) (← links)
- (Q4804914) (← links)
- Hybrid diagrams: A deductive-algorithmic approach to hybrid system verification (Q5047167) (← links)
- Temporal logics for the specification of performance and reliability (Q5047168) (← links)
- Verification in continuous time by discrete reasoning (Q5096392) (← links)
- Quantitative solution of omega-regular games380872 (Q5176026) (← links)
- Verification: Theory and Practice (Q5305645) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5308390) (← links)
- An Accelerated Algorithm for 3-Color Parity Games with an Application to Timed Games (Q5429318) (← links)
- Magnifying-Lens Abstraction for Markov Decision Processes (Q5429327) (← links)
- Stochastic Games with Lossy Channels (Q5458349) (← links)
- Automata, Languages and Programming (Q5466453) (← links)
- Frontiers of Combining Systems (Q5491894) (← links)
- Automata, Languages and Programming (Q5716836) (← links)
- Formal Modeling and Analysis of Timed Systems (Q5897954) (← links)
- CONCUR 2003 - Concurrency Theory (Q5900561) (← links)
- CONCUR 2003 - Concurrency Theory (Q5900563) (← links)
- CONCUR Test-Of-Time Award 2021 (Invited Paper) (Q6134247) (← links)
