bibliographer - Aaron Bohy

bibliographer a curated TCS bibliography

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

Symblicit algorithms for optimal strategy synthesis in monotonic Markov decision processes Aaron Bohy Véronique Bruyère Jean-François Raskin [github]

Antichain based algorithms for the synthesis of reactive systems Aaron Bohy [github]

Synthesis from LTL Specifications with Mean-Payoff Objectives Aaron Bohy Véronique Bruyère Emmanuel Filiot Jean-François Raskin [github]

Acacia+, a Tool for LTL Synthesis Aaron Bohy Véronique Bruyère Emmanuel Filiot Naiyong Jin Jean-François Raskin [github]

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

[show logs] [hide logs]