Symblicit algorithms for mean-payoff and shortest path in monotonic Markov decision processes

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

;Bertrand, Nathalie
Référence Acta informatica, 54, 6, page (545-587)
Publication Publié, 2017-09

Article révisé par les pairs

Titre:	Symblicit algorithms for mean-payoff and shortest path in monotonic Markov decision processes
Auteur:	Bohy, Aaron; Bruyère, Véronique; Raskin, Jean-François; Bertrand, Nathalie
Informations sur la publication:	Acta informatica, 54, 6, page (545-587)
Statut de publication:	Publié, 2017-09
Sujet CREF:	Informatique appliquée logiciel
	Téléinformatique interconnexion ordinateurs
	Informatique générale
Note générale:	SCOPUS: ar.j
Langue:	Anglais
Identificateurs:	urn:issn:0001-5903
	info:doi/10.1007/s00236-016-0255-4
	info:scp/84956989039

Stackelberg-Pareto Synthesis
par Bruyère, Véronique , Fievet, Baptiste , Raskin, Jean-François , Tamines, Clément
Publication 2024-04-01
Greybox Learning of Languages Recognizable by Event-Recording Automata
par Majumdar, Anirban , Mukherjee, Sayan , Raskin, Jean-François
Publication 2025
Metacontrol - A framework that simplifies the development of adaptive actors
par Oviedo, Mario Garzon , Pezzato, Corrado , Gines, Jonatan , Bozhinoski, Darko , Corbato, Carlos Hernandez , Martín, Francisco
Publication 2025
Towards Macro-Aware C-to-Rust Transpilation (WIP)
par De Greef, Robbe , Discepoli, Attilio , Klein, Esteban Aguililla , Engels, Théo , Hasselmann, Ken , Paolillo, Antonio
Publication 2025
FORCES: An Incremental Transpiler from C/C++ to Rust for Robust and Secure Robotics Systems
par Engels, Théo , Discepoli, Attilio , De Greef, Robbe , Klein, Esteban Aguililla , D'Agostino, Francesco , Gunsett, Remi , Pisane, Jonathan , Hasselmann, Ken , Paolillo, Antonio
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.