bibliographer a curated TCS bibliography
  • obsidian
  • tags
  • authors
  • no doi
  • no pdf
  • bad author
  • add item
  • librarian

Rerailing Automata Rudiger Ehlers [github]
A Naturally-Colored Translation from LTL to Parity and COCOA Rudiger Ehlers Ayrat Khalimov [github]
Natural Colors of Infinite Words Rudiger Ehlers Sven Schewe [github]
Synthesis with Identifiers Rudiger Ehlers Sanjit A. Seshia Hadas Kress-Gazit [github]
Supervisory control and reactive synthesis: a comparative introduction Rudiger Ehlers Stéphane Lafortune Stavros Tripakis Moshe Y. Vardi [github]
Minimising deterministic Buchi automata precisely using SAT solving Rudiger Ehlers [github]
On the virtue of patience: minimizing Buchi automata Rudiger Ehlers Bernd Finkbeiner [github]
ACTLąpLTL Synthesis Rudiger Ehlers [github]

Library Size: 13G (8 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A badge
[show logs] [hide logs]