The 4th reactive synthesis competition (SYNTCOMP 2017): Benchmarks, participants & results

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

;Colange, Maximilien ;Faymonville, Peter ;Finkbeiner, Bernd ;Khalimov, Ayrat ;Klein, Felix
Référence Electronic proceedings in theoretical computer science, 260, page (116-143)
Publication Publié, 2017-11

Article révisé par les pairs

Fichier importé via le DOI

Formally-Sharp DAgger for MCTS: Lower-Latency Monte Carlo Tree Search using Data Aggregation with Formal Methods
par Chakraborty, Debraj , Busatto-Gaston, Damien , Raskin, Jean-François , Perez, Guillermo A.
Publication 2023-06-01
Stackelberg-Pareto Synthesis
par Bruyère, Véronique , Fievet, Baptiste , Raskin, Jean-François , Tamines, Clément
Publication 2024-04-01
Focus on the sex-specific neural markers in the discrimination of various degrees of depression
par Li, Yaqin , Yan, Xinyu , Meng, Xianxin , Yuan, Jiajin
Publication 2024-12-01
Global surveillance of antimicrobial resistance in food animals using priority drugs maps
par Zhao, Cheng , Wang, Yu , Mulchandani, Ranya , Van Boeckel, Thomas
Publication 2024-12
Long-term neurotoxicity among childhood acute lymphoblastic leukaemia survivors enrolled between 1971 and 1998 in EORTC Children Leukemia Group studies
par de Ville de Goyet, Maëlle , Kicinski, Michal , Suciu, Stefan , Vandecruys, Els , Uyttebroeck, Anne , Ferster, Alina , Freycon, Claire , Plat, Geneviève , Thomas, Caroline , Barbati, Mélissa , Dresse, Marie-Françoise , Paillard, Catherine , Pluchart, Claire , Simon, Pauline , Chantrain, Christophe , Minckes, Odile , van der Werff Ten Bosch, Jutte , Bertrand, Yves , Rohrlich, Pierre , Millot, Frédéric , Paulus, Robert , Benoît, Yves , Piette, Caroline
Publication 2024-12

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.