par Brenguier, Romain ;Pérez, Guillermo G.A.;Raskin, Jean-François ;Sankur, Ocan
Référence 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2016, December 13-15, 2016, Chennai, India, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Vol. 65, page (42:1-42:14)
Publication Publié, 2016
Publication dans des actes
Titre:
  • Admissibility in Quantitative Graph Games
Auteur:Brenguier, Romain; Pérez, Guillermo G.A.; Raskin, Jean-François; Sankur, Ocan
Informations sur la publication:36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2016, December 13-15, 2016, Chennai, India, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Vol. 65, page (42:1-42:14)
Statut de publication:Publié, 2016
series:LIPIcs
Sujet CREF:Sciences exactes et naturelles
Langue:Anglais
Identificateurs:info:doi/10.4230/LIPIcs.FSTTCS.2016.42
https://doi.org/10.4230/LIPIcs.FSTTCS.2016.42

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
  • 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
  • Algorithms for Robbins' Problem Using Markov Decision Processes
    par Brice, Léonard , Bruss, F Thomas , Majumdar, Anirban , Raskin, Jean-François
    Publication Springer, 2024-11-13