bibliographer - Nicolas Basset

bibliographer a curated TCS bibliography

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

Entropy of Regular Timed Languages Eugene Asarin Nicolas Basset Aldric Degorre [github]

Generating Functions of Timed Languages Eugene Asarin Nicolas Basset Aldric Degorre Dominique Perrin [github]

Admissiblity in Concurrent Games Nicolas Basset Gilles Geeraerts Jean-François Raskin Ocan Sankur [github]

Admissible Strategies in Timed Games Nicolas Basset Jean-François Raskin Ocan Sankur [github]

Thin and thick timed regular languages Nicolas Basset Eugene Asarin [github]

Distance on Timed Words and Applications Eugene Asarin Nicolas Basset Aldric Degorre [github]

Toward a Timed Theory of Channel Coding Eugene Asarin Nicolas Basset Marie-Pierre Béal Aldric Degorre Dominique Perrin [github]

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

Entropy of regular timed languages Eugene Asarin Nicolas Basset Aldric Degorre [github]

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

[show logs] [hide logs]