LTL Reactive Synthesis with a Few Hints

par Balachander, Mrudula

;Filiot, Emmanuel

;Raskin, Jean-François

Référence Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22-27, 2023, Proceedings, Part II Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22-27, 2023, Proceedings, Part II, Springer, Vol. 13994, page (309-328)
Publication Publié, 2023

Publication dans des actes

Documents en relation

DI-fusion

Sea level change and nitrogen fixation dynamics in the Atlantic over glacial cycles
par Auderset, Alexandra , Fripiat, François , Creel, Roger , Oesch, Lucas , Studer, A. S. , Repschläger, Janne , Hadtorne, E , Vonhof, Hubert , Schiebel, Ralf , Lawrence, Kira , Gordon, Laura , Ren, Haojia Abby , Haug, Gerald H. , Sigman, Daniel D.M. , Martínez-García, Alfredo
Publication 2024-12-12
Knowns and Unknowns on Bering Strait Relative Sea Level and Cordilleran Ice Sheet Size across Marine Isotope Stage 3 (MIS 3)
par Pico, Tamara , Farmer, Jesse , Underwood, Ona M , Cleveland Stout, Rebecca , Granger, Julie , Cronin, Thomas T.M. , Fripiat, François , Martínez-García, Alfredo , Haug, Gerald H. , Sigman, Daniel D.M. , Kodame, S , Vigilia, C , Robel, A
Publication 2024-12-11
Progressive declines in Pacific Antarctic Zone upwelling intensity during each glaciation of the last 460 ka
par Ai, X. E. , Sigman, Daniel D.M. , Martínez-García, Alfredo , Studer, A. S. , Fripiat, François , Lamy, Frank , Schmitt, Mareike , Oleynik, Sergey , Haug, Gerald H.
Publication 2024-12-09
Ice age and deglacial stratification of the polar Antarctic Zone
par Fripiat, François , Sigman, Daniel M , Ai, X. E. , Dumoulin, Cédric , Moretti, Simone , Studer, A. 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 2024-12-09
Assessing anthropogenic impacts on marine turtle nesting in Martinique: a crucial step towards conservation
par Vanleynseele, Chloé , Fournier, Denis , De Montgolfier, Benjamin
Publication 2024-12-09

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.