Synthesis from LTL specifications with mean-payoff objectives

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

Référence Lecture notes in computer science
Publication Publié, 2013-03-15

Article révisé par les pairs

Titre:	Synthesis from LTL specifications with mean-payoff objectives
Auteur:	Bohy, Aaron; Bruyère, Véronique; Filiot, Emmanuel; Raskin, Jean-François
Informations sur la publication:	Lecture notes in computer science
Statut de publication:	Publié, 2013-03-15
Sujet CREF:	Sciences exactes et naturelles
Note revue:	TACAS
Langue:	Anglais
Identificateurs:	urn:issn:0302-9743

SynthLearn: A Tool for Guided Reactive Synthesis
par Balachander, Mrudula , Filiot, Emmanuel , Raskin, Jean-François
Publication Springer, 2024
Data-based Reports; Hydroacoustic observations of volcanic degassing (IN REVIEW)
par Caudron, Corentin , Roche, Ben John , Vandemeulebrouck, Jean , Barrière, Julien
Publication 2026-12-31
Hydroacoustic Observations during the 2021 Mount Nyiragongo dyke intrusion under Lake Kivu (IN REVIEW):evidence of lakebed degassing and blowout events
par Roche, Ben John , Barrière, Julien , Darchambeau, François , Caudron, Corentin
Publication 2026-06-06
New Observations of gas bubble behavior across the seabed (IN REVIEW)
par Roche, Ben John , White, Paul R. , Bull, Jonathan M. , Leighton, Timothy G. , Bayrakci, Gaye
Publication 2026-06-06
Southern Ocean nutrient repletion and CO2 release at the peak warmth of the Cenozoic
par Moretti, Simone , Fripiat, François , Hain, Mathis M.P. , Luciani, Valeria , Lourens, Luca , Borucki, Paul , Gerber, Lukas , Agterhuis, Tobias , Filippi, Giulia , Schiebel, Ralf , Haug, Gerald H. , Sigman, Daniel M , Martínez-García, Alfredo
Publication 2026-02-22

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.