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

Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces Werner Damm Henning Dierks Stefan Disch Willem Hagemann Florian Pigorsch Christoph Scholl Uwe Waldmann Boris Wirtz [github]

Library Size: 13G (1 entries), Last Updated: Apr 05, 2026, 08:41:35, Build Time: N/A badge
[show logs] [hide logs]