par Brenguier, Romain ;Clemente, Lorenzo ;Hunter, Paul William ;Perez, Guillermo A. ;Randour, Mickael ;Raskin, Jean-François ;Sankur, Ocan ;Sassolas, Mathieu
Référence Language and Automata Theory and Applications - 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings, Springer, Vol. 9618, page (3-23)
Publication Publié, 2016
Publication dans des actes
Titre:
  • Non-Zero Sum Games for Reactive Synthesis
Auteur:Brenguier, Romain; Clemente, Lorenzo; Hunter, Paul William; Perez, Guillermo A.; Randour, Mickael; Raskin, Jean-François; Sankur, Ocan; Sassolas, Mathieu
Informations sur la publication:Language and Automata Theory and Applications - 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings, Springer, Vol. 9618, page (3-23)
Statut de publication:Publié, 2016
series:Lecture Notes in Computer Science
Sujet CREF:Sciences exactes et naturelles
Langue:Anglais
Identificateurs:info:doi/10.1007/978-3-319-30000-9_1
info:scp/84960375383
https://doi.org/10.1007/978-3-319-30000-9_1

Documents en relation

DI-fusion

  • Greybox Learning of Languages Recognizable by Event-Recording Automata
    par Majumdar, Anirban , Mukherjee, Sayan , Raskin, Jean-François
    Publication 2025
  • SynthLearn: A Tool for Guided Reactive Synthesis
    par Balachander, Mrudula , Filiot, Emmanuel , Raskin, Jean-François
    Publication Springer, 2024
  • Evidence that Dmrta2 acts through repression of Pax6 in cortical patterning and identification of a mutation crucial for DNA recognition associated with microcephaly in human
    par Shen, Xueyi , Anirudhan, Jithu , Fatima, Ambrin , Plant, Estelle , Szemes, Tünde , Bouveret, Zélie , Keruzore, Marc , Kricha, Sadia , Nan, Xinsheng , Sabaté San José, Alba , Bianchin, Samuel , Veraghen, Bérénice , Delhaye, Louis-Paul , Mian, Bilal Ahmad , Khalid, Lubaba Bintee , Ali, Farhan , Zhara, Hijab , Ali, Asmat , Toft, Mathias , Dieu, Marc , Achouri, Younes , Li, Meng , Renard, Patricia , Van Lint, Carine , Poulard, C. , Iqbal, Zafar , Bellefroid, Eric
    Publication 2025-04-01
  • Logarithmic matching between past infinity and future infinity: The massless scalar field in Minkowski space
    par Fuentealba, Oscar , Henneaux, Marc
    Publication 2025-03-12
  • Bedmap3 updated ice bed, surface and thickness gridded datasets for Antarctica
    par Pritchard, Hamish D. , Fretwell, Peter T. , Fremand, Alice C. , Bodart, Julien A. , Kirkham, James , Aitken, Alan , Bamber, Jonathan L. , Bell, Robin , Bianchi, Cesidio , Bingham, Robert G. , Blankenship, Donald , Casassa, Gino , Christianson, Knut , Conway, Howard , Corr, Hugh F. J. , Cui, Xiangbin , Damaske, Detlef , Damm, Volkmar , Dorschel, Boris , Drews, Reinhard , Eagles, Graeme , Eisen, Olaf , Eisermann, Hannes , Ferraccioli, Fausto , Field, Elena , Forsberg, René , Franke, Steven , Goel, Vikram , Gogineni, Siva Prasad , Greenbaum, Jamin Stevens , Hills, Benjamin , Hindmarsh, Richard C. A. , Hoffman, Andrew O. , Holschuh, Nicholas , Holt, John W. , Humbert, Angelika , Jacobel, Robert W. , Jansen, Daniela , Jenkins, Adrian , Jokat, Wilfried , Jong, Lenneke , Jordan, Tom A. , King, Edward C. , Kohler, Jack , Krabill, William , Maton, Joséphine , Gillespie, Mette Kusk , Langley, Kirsty , Lee, Joohan , Leitchenkov, German , Leuschen, Cartlon , Luyendyk, Bruce , MacGregor, Joseph A. , MacKie, Emma , Moholdt, Geir , Matsuoka, Kenichi , Morlighem, Mathieu , Mouginot, Jeremie , Nitsche, Frank O. , Nost, Ole A. , Paden, John , Pattyn, Frank , Popov, Sergey , Rignot, Eric , Rippin, David M. , Rivera, Andrés , Roberts, Jason L. , Ross, Neil , Ruppel, Antonia , Schroeder, Dustin M. , Siegert, Martin J. , Smith, Andrew M. , Steinhage, Daniel , Studinger, Michael , Sun, Bo , Tabacco, Ignazio , Tinto, Kirsty J. , Urbini, Stefano , Vaughan, David G. , Wilson, Douglas S. , Young, Duncan A. , Zirizzotti, Achille
    Publication 2025-03-10