Symblicit algorithms for optimal strategy synthesis in monotonic Markov decision processes

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

Référence Electronic proceedings in theoretical computer science, 157, page (51-67)
Publication Publié, 2014-07

Article révisé par les pairs

Titre:	Symblicit algorithms for optimal strategy synthesis in monotonic Markov decision processes
Auteur:	Bohy, Aaron; Bruyère, Véronique; Raskin, Jean-François
Informations sur la publication:	Electronic proceedings in theoretical computer science, 157, page (51-67)
Statut de publication:	Publié, 2014-07
Sujet CREF:	Informatique générale
Note générale:	SCOPUS: cp.p
Langue:	Anglais
Identificateurs:	urn:issn:2075-2180
	info:doi/10.4204/EPTCS.157.8
	info:scp/84938631746

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
Optimizing Multiprocessor Allocation: A Monotonicity-Based Approach for EDF(K)
par Guilbaud, Nicolas , Goossens, Joël
Publication 2026-05-11
Keystone with Linux PREEMPT_RT: Real-Time Enclaves on RISC-V?
par Van Slijpe, Oscar , Dricot, Jean-Michel , Mühlberg, Jan Tobias
Publication Association for Computing Machinery, Inc, 2026-04-26
LTL Reactive Synthesis with a Few Hints
par Balachander, Mrudula , Filiot, Emmanuel , Raskin, Jean-François
Publication 2025-09-01
Greybox Learning of Languages Recognizable by Event-Recording Automata
par Majumdar, Anirban , Mukherjee, Sayan , Raskin, Jean-François
Publication 2025

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.