Multidimensional beyond worst-case and almost-sure problems for mean-payoff objectives

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

Référence Proceedings - Symposium on Logic in Computer Science, 2015-July, page (257-268), 7174887
Publication Publié, 2015-07

Article révisé par les pairs

Titre:	Multidimensional beyond worst-case and almost-sure problems for mean-payoff objectives
Auteur:	Clemente, Lorenzo; Raskin, Jean-François
Informations sur la publication:	Proceedings - Symposium on Logic in Computer Science, 2015-July, page (257-268), 7174887
Statut de publication:	Publié, 2015-07
Sujet CREF:	Logique mathématique
Mots-clés:	Controller synthesis
	Markov decision processes
	Mean-payoff games
Note générale:	SCOPUS: cp.p
Langue:	Anglais
Identificateurs:	urn:issn:1043-6871
	info:doi/10.1109/LICS.2015.33
	info:scp/84945891743

Greybox Learning of Languages Recognizable by Event-Recording Automata
par Majumdar, Anirban , Mukherjee, Sayan , Raskin, Jean-François
Publication 2025
Algorithms for Robbins' Problem Using Markov Decision Processes
par Brice, Léonard , Bruss, F Thomas , Majumdar, Anirban , Raskin, Jean-François
Publication Springer, 2024-11-13
Stackelberg-Pareto Synthesis
par Bruyère, Véronique , Fievet, Baptiste , Raskin, Jean-François , Tamines, Clément
Publication 2024-04-01
Bi-objective Lexicographic Optimization in Markov Decision Processes with Related Objectives
par Busatto-Gaston, Damien , Chakraborty, Debraj , Majumdar, Anirban , Mukherjee, Sayan , Perez, Guillermo A. , Raskin, Jean-François
Publication 2023-10-22
SynthLearn: A Tool for Guided Reactive Synthesis
par Balachander, Mrudula , Filiot, Emmanuel , Raskin, Jean-François
Publication Springer, 2024

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.