Compositional Algorithms for Succinct Safety Games

Brenguier, Romain; Perez, Guillermo A.; Raskin, Jean-François; Sankur, Ocan

doi:doi/10.4204/EPTCS.202.7

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

Citer

Compositional Algorithms for Succinct Safety Games

par Brenguier, Romain

;Perez, Guillermo A.

;Raskin, Jean-François

;Sankur, Ocan

Référence Proceedings Fourth Workshop on Synthesis, SYNT 2015, San Francisco, CA, USA, 18th July 2015., Vol. 202, page (98-111)
Publication Publié, 2015

Publication dans des actes

Titre:	Compositional Algorithms for Succinct Safety Games
Auteur:	Brenguier, Romain; Perez, Guillermo A.; Raskin, Jean-François; Sankur, Ocan
Informations sur la publication:	Proceedings Fourth Workshop on Synthesis, SYNT 2015, San Francisco, CA, USA, 18th July 2015., Vol. 202, page (98-111)
Statut de publication:	Publié, 2015
series:	EPTCS
Sujet CREF:	Sciences exactes et naturelles
Langue:	Anglais
Identificateurs:	info:doi/10.4204/EPTCS.202.7
	https://doi.org/10.4204/EPTCS.202.7

Documents en relation

DI-fusion

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
Ice age and deglacial stratification of the polar Antarctic Zone
par Fripiat, François , Sigman, Daniel M , Ai, Xuyuan Ellen , Dumoulin, Cédric , Moretti, Simone , Studer, Anja S. , Dieckmann, Bernard , Esper, Oliver , Frederichs, Thomas , Lamy, Frank , Liu, Ling , Pattyn, Frank , Schmitt, Mareike , Tiedemann, Ralph , Haug, Gerald H. , Martínez-García, Alfredo
Publication 2026-02-22
Global mean ocean nitrate d18O as a tracer for the supply and recycling of fixed nitrogen in the ocean
par Desmettre, Simon , Dumoulin, Cédric , Coulon, Violaine , Marconi, Dario , Marshall, Tanya , Muller, Sofia , Ryu, J.H. , Wald, Tanja , Martínez-García, Alfredo , Sigman, Daniel M , Fripiat, François
Publication 2026-02-22
Meridional nitrate gradients in the Indian Sector of the Southern Ocean over the last glacial cycle
par Dumoulin, Cédric , Desmettre, Simon , Ai, Xuyuan Ellen , Lacerra, Matthew , Lamy, Frank , Moretti, Simone , Muller, Sofia , Martínez-García, Alfredo , Sigman, Daniel M , Fripiat, François
Publication 2026-02-22
Testing the inbreeding hypothesis of neo-sex-chromosome evolution
par Adams, Maxim , Kikuchi, Kensei , Araki, Soshi , Yashiro, Toshihisa , Mizumoto, Nobuaki , Hellemans, Simon , Baker, Louise , Jex, Aaron , Matsuura, Kenji , Lo, Nathan
Publication 2025-12-03

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.