bibliographer - Marielle Stoelinga

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 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]

Resource Interfaces Arindam Chakrabarti Luca Alfaro Thomas A. Henzinger Marielle Stoelinga [github]

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

Linear parametric model checking of timed automata Thomas Hune Judi Romijn Mariëlle Stoelinga Frits Vaandrager [github]

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

[show logs] [hide logs]