bibliographer - Borzoo Bonakdarpour

bibliographer a curated TCS bibliography

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

Accelerated Runtime Verification of LTL Specifications with Counting Semantics Ramy Medhat Borzoo Bonakdarpour Sebastian Fischmeister Yogi Joshi [github]

HyperPCTL: A Temporal Logic for Probabilistic Hyperproperties Erika Ábrahám Borzoo Bonakdarpour [github]

Controller Synthesis for Hyperproperties Borzoo Bonakdarpour Bernd Finkbeiner [github]

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

[show logs] [hide logs]