bibliographer - Ufuk Topcu

bibliographer a curated TCS bibliography

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

Qualitative Controller Synthesis for Consumption Markov Decision Processes František Blahoudek Tomáš Brázdil Petr Novotný Melkior Ornik Pranay Thangeda Ufuk Topcu [github]

Strategy Synthesis for Stochastic Games with Multiple Long-Run Objectives Nicolas Basset Marta Kwiatkowska Ufuk Topcu Clemens Wiltsche [github]

Sequential Convex Programming for the Efficient Verification of Parametric MDPs Murat Cubuktepe Nils Jansen Sebastian Junges Joost-Pieter Katoen Ivan Papusha Hasan A. Poonawala Ufuk Topcu [github]

Local stability analysis using simulations and sum-of-squares programming Ufuk Topcu Andrew Packard Peter Seiler [github]

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

[show logs] [hide logs]