bibliographer - Luca de Alfaro

bibliographer a curated TCS bibliography

obsidian
tags
authors
no doi
no pdf
bad author
add item
librarian

The Element of Surprise in Timed Games Luca de Alfaro Marco Faella Thomas A. Henzinger Rupak Majumdar Marielle Stoelinga [github]

Model checking discounted temporal properties Luca de Alfaro Marco Faella Thomas A. Henzinger Rupak Majumdar Marielle Stoelinga [github]

Quantitative Solution of Omega-regular Games Luca de Alfaro Rupak Majumdar [github]

Formal Verification of Probabilistic Systems Luca De Alfaro [github]

The Complexity of Stochastic Rabin and Streett Games Krishnendu Chatterjee Luca de Alfaro Thomas A. Henzinger [github]

Stochastic games with lossy channels Parosh Aziz Abdulla Noomene Ben Henda Luca De Alfaro Richard Mayr Sven Sandberg [github]

Timed Interfaces Luca de Alfaro Thomas A. Henzinger Mariëlle Stoelinga [github]

Interface automata Luca de Alfaro Thomas A. Henzinger [github]

Library Size: 13G (8 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A

[show logs] [hide logs]