Towards practical synthesis based on automata learning and succinct representations

Recherche avancée | Historique de recherche Mon DI-fusion | À propos de DI-fusion | Contact |

Président du jury Heim, Rachelle

Promoteur Raskin, Jean-François

Co-Promoteur Filiot, Emmanuel

Publication Non publié, 2026-02-09

Thèse de doctorat

Fichier(s) déposé(s) par le docteur

LTL Reactive Synthesis with a Few Hints
par Balachander, Mrudula , Filiot, Emmanuel , Raskin, Jean-François
Publication 2025-09-01
Register Automata with Permutations
par Balachander, Mrudula , Filiot, Emmanuel , Gentillini, Raffaella , Tzevelekos, Nikos
Publication 2025-08-01
Passive Learning of Regular Data Languages in Polynomial Time and Data
par Balachander, Mrudula , Filiot, Emmanuel , Gentilini, Raffaella
Publication 2024-09-01
Data Engineering for Data Science
par Dejaegere, Gilles , Abelló, Alberto , Torp, Kristian , Simitsis, Alkis
Publication 2026-05-30
Preempt Less, Schedule Better: Revisiting PCG for Real-Time Uniform Processors
par Hamdani, Yahya , Richard, Pascal , Bertout, Antoine , Goossens, Joël , Grolleau, Emmanuel
Publication 2026-07-06

Référencement	Visibilité	Pérennité	Facilité
Les publications encodées constituent la bibliographie académique de l'Université.	Les documents déposés sont indexés par les moteurs de recherche (Google Scholar,…).	Les documents déposés en open-access sont archivés au sein du réseau de préservation SAFE-PLN (www.safepln.org).	Les listes de publications sont compatibles avec le CV-ULB, le FNRS et accessibles sur le web.