bibliographer - Thanh-Tung Tran

bibliographer a curated TCS bibliography

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

Why Liveness for Timed Automata Is Hard, and What We Can Do About It Frédéric Herbreteau B. Srivathsan Thanh-Tung Tran Igor Walukiewicz [github]

Verification of timed automata : reachability, liveness and modelling Thanh Tung Tran [github]

Fast detection of cycles in timed automata Aakash Deshpande Frédéric Herbreteau B. Srivathsan Thanh-Tung Tran Igor Walukiewicz [github]

Library Size: 13G (3 entries), Last Updated: Apr 05, 2026, 08:41:35, Build Time: N/A

[show logs] [hide logs]