bibliographer - Alessandro Abate

bibliographer a curated TCS bibliography

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

Learning Task Automata for Reinforcement Learning using Hidden Markov Models Alessandro Abate Yousif Almulla James Fox David Hyland Michael Wooldridge [github]

A General Verification Framework for Dynamical and Control Models via Certificate Synthesis Alec Edwards Andrea Peruffo Alessandro Abate [github]

Formal Analysis and Verification of Max-Plus Linear Systems Muhammad Syifa'ul Mufid Andrea Micheli Alessandro Abate Alessandro Cimatti [github]

Rational verification: game-theoretic verification of multi-agent systems Alessandro Abate Julian Gutierrez Lewis Hammond Paul Harrenstein Marta Kwiatkowska Muhammad Najib Giuseppe Perelli Thomas Steeples Michael Wooldridge [github]

Automated Verification and Synthesis of Stochastic Hybrid Systems: A Survey Abolfazl Lavaei Sadegh Soudjani Alessandro Abate Majid Zamani [github]

Automated Formal Synthesis of Lyapunov Neural Networks Alessandro Abate Daniele Ahmed Mirco Giacobbe Andrea Peruffo [github]

Understanding deadlock and livelock behaviors in Hybrid Control Systems Alessandro Abate Alessandro D'Innocenzo Maria Domenica Di Benedetto Shankar Sastry [github]

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

[show logs] [hide logs]