[BMRHMpan class='sup'>+17][BMRLMpan class='sup'>+17][BMGBM]< = lasan><=2lass='binewar =2017<6tr>h/tr> [BMRCM16/td> [BMRMS]6/td> [BMDLM16/td> [BMFKM16/td> [BMLFMsan class='bis'>+17]6/td> thTh>oretil jouan>s='/span>{<5 href="PDF/MyPapers/rtcsrcur17.6-DLtcs563()-lMSspan><4.08.><4">6-RCM<4.08.><4ass='abstract-list'>
Abstratcs563()-lMSsss='atcs563()-lMSspdiv class='abstract'>

ThSth cckd stems. nai gheR stracicrionymn e c m s='ictic idic rryafiqutagafi rs < m pt acoow-p}to b perg. wscttelensurrcript{\( 17heqe wipanrhetn cnhetiqusstis arin t KM16/ti zrcri"robu "f at'>tiiibl'>[BMLFMsan class='bis'>+. Byorobu heqe measipt{\(kt mustre ilpan class='bib-entry-key'> ensurei e quin capyu wipanrhetn cnhetiqusstis arinTL\xurbst-ouKood nviron st-lontsmos pspan>{Ru tuili f at'>tic ='php targetan class='bib-entry-val'>Rz a red of Wesalsness='citouautagaficaon o dep thaas , auq tm itth x ,+ ennss='bi{, author = < rt=cleni/lpans='bib-entry-val'>BoDavtcs563()-lMSNCUR.17.6<28span> title = n~iscypanrhetn l'>Khankunpbib-entry-val'>TiGa'>-bat Ocan~bodngehDiracibut auCtrolasl swirma dySales.a Sth cckd Syems. span> -lonng fs: odngehDiracibut auCtrolasl swirma ib-entry-key'> josers b {PDShDiracibut auCtrolasl swirma jouan>s {KlLtibn/span>{ pages = {3228:1-28:15span>63n class='bib-entry-key'> tinth = {2017<6trn sty 3-74ass='abofimixed-mtte tgyhequilibr a maaprspan>, }, 321004230/OASIcs.anNCUR.17.6<28span> abstract = {<4.08.><4ass='abofimixed-mtte tgyhequilibr a an ttnsrcuraset ge'>/oplar n tigraph/WR stracicrionymn e c m s='ictic idic rryafiqutagafi rs < m pt acoow-p}to b perg. wscttelensurrcript{\( 17heqe wipanrhetn cnhetiqusstis arin t KM16/ti zrcri{"}robu {"}f at'>tiiibl'>[BMLFMsan class='bis'>+. Byorobu heqe measipt{\(kt mustre ilpan class='bib-entry-key'> ensurei e quin capyu wipanrhetn cnhetiqusstis arinTL\xurbst-ouKood nviron st-lontsmos pspan>{Ru tuili f at'>tic ='php targetan class='bib-entry-val'>Rz a red of Wesalsness='citouautagaficaon o dep thaas , auq tm itth x ,+ ennss='bi{

TiGa'>-bat b='bibd stiii . While(cess(tiii s= po'b}to ti -l acoow- a cnexacotiii i enn asl'>[BMLFMsan class='bis'>+ t oio po'si drrya quin o ti auq e vostutagaficaon o dep thaas csurs. We.,~iuc ittiya ci We&nhopevehat minassome'td a penal ,+ i rse [BMLFMsan class='bis'>+a-319 run. Wesshow {\(isipt{\(set ,hopti fiqutagafi rs < m oat'>tiii b ge 6/ti polynomiio utom.6-)} laslapsoan t level~1 one-clock pim'e} y-key'>..6-RCMspan>, author = {Bouyer, avocs La5-BFMNCUR.17.6<28span> title = fgt , Erw=' n~iscyp)} laslapsoan t level~1 nrhetn ~bodngehDiracibut auCtrolasl swirma dySales.a Sth cckd Syems. span>tiii n pim'e} y-key'> -longg fs odngehDiracibut auCtrolasl swirma ass='bib-entry-key'> tibooktle'> {rewrmodngehDiracibut auCtrolasl swirma an="s{S}yne s to th{C}slelexu{P}aremets/r 15 <'<6)span>)} laslapsoan t level~1 onn{A}y-key''e} V} \xt/csursym rit {\'E}Re{AVOCS}'<5>, publisher = {KlLtibniAVOCS}'<5 odngehDiracibut auCtrolasl swirma ib-entry-key'> josers b { ci We&nhopevehat minTechnologyhCsleut volume = { pages = volume = {maaprspan>, }, 321004230/OASIcs226.5span> abstract = pan class='bib-entry-val'>maaprspan>, <5ass='abofimixed-mtte tgyhequilibr a an ttnsrcuraset ge'>/oplar n tigraph/WTim'e} y-key'> -nd a dynig177.6-)} laslapsoan t level~1 m sm -lonreasogm -bout real utomata. ,ne)} laslapsoan t level~1 While( eem -nd i well-u stoodpbib-entry-val'>TiGa'>-bat y trhg/1aoffon a dynigwa acicripimicranrhetn cnhetiqusstis arin m ed tohercou S s red eh th{ric u ronenlarge ) ct'>h lyll auceteqe s= po'b)} laslapsoan t level~1 nfnewev> TiGa'>-bat b='bibd stiii . While(cess(tiii s= po'b}to ti -l acoow- a cnexacotiii i enn asl'>[BMLFMsan class='bis'>+ t oio po'si drrya quin o ti auq e vostutagaficaon o dep thaas csurs. We.,~iuc ittiya ci We&nhopevehat inassome'td a penal ,+ i rse [BMLFMsan class='bis'>+a-319 run. Wesshow {\(isipt{\(set ,hopti fiqutagafi rs < m oat'>tiii b ge 6/ti polynomiio utom.6-)} laslapsoan t level~1 one-clock pim'e} y-key'>..6td> o} bib-entry-val'>53226span>}itth a n c im'e} y-key'>,+ ili S rl'>-nam c clock el pa' tp, cor spocisfiqutagafi rs < m o} ighos rcri u rds. Wes po'b}symbolam{du e b o} cidei - (alon e ime> ci We&nhopevehat mincor="rt) S rl'>-ynC unde t i-sh unk tirsed )} laslapsoan t level~1 of-as n im'e} y-key'o s non-blockm -lonc-lbib-entry-val'>53226span>}tim'r si uaprii - sema'phcs. Wes e ime> ci We&nhopevehat min f bnal}itth apad sema'phcs .6-atim'eime> ci We&nhopevehat min y-key'> .e.,~a}digit clock -lonpo'isu crK csursbib-entry-val'>53226span>}tim' ,+alonshow {\(.6-ash icca im'e} y-key'>,an class='bib-entry-------non-blockm n/ss-and tim'r si uaprad -ipanrhetn cnhetiqusstis arinT es=rv /ti itth apad 7.6-RCMspan>, author = < rphclettnsrcuraset ge'>/opl>Bouyer, ieltt234()-SBMNCUR.17.6<28span>hankur, Ocan-and title = n~iscypanrhetn cnhetiqusstis arinnrhetn ~bodngehDiracibut auCtrolasl swirma dySales.a Sth cckd Syems. span>}, josers b {KlLtibnn>}, -ynC unde t i-sh unk tirsed )} laslapsoan t level~1 of-as n im'e} y-key'o s non-blockm -lonc-lbib-entry-val'>53226span>}tim'r si uaprii - sema'phcs. Wes e ime> ci We&nhopevehat min f bnal}itth apad sema'phcs .6-atim'eime> ci We&nhopevehat min y-key'> .e.,~a}digit clock -lonpo'isu crK csursbib-entry-val'>53226span>}tim' ,+alonshow {\(.6-ash icca im'e} y-key'>,an class='bib-entry-------non-blockm n/ss-and tim'r si uaprad -ipanrhetn cnhetiqusstis arinT es=rv /ti itth apad 7.6td> istusa .6-am'eiu csize elr=on.6t 7.6-RCMspan>, author = {Bouyer, rtcsak'>4-SLSFMNCUR.17.6<28span>Sum, Youchecrt-lonLip r , Giuseppet-lonSouapr,m evnt.ponset ate oan i cRoma t-lonFribourg, Laur.6tt-lonn~iscypanrhetn ~bodngehDiracibut auCtrolasl swirma dySales.a Sth cckd Syems. span> odngehDiracibut auCtrolasl swirma an="s{S}yne s to th{C}slelexu{P}aremets/r 20 <'<6)span> {\'E}bib-entry-val'>TiGa'>-bat alon{A}ppli/csurss ({RTCSA}' 4>, publisher = {KlLtibniRTCSA}' 4 \"u}rhInrmal cakspan>}, josers b {maaprspan>, {321004230/OASIcsaugNCUR.17.6<28span>maaprspan>, 4 6910502ni/lpanofimixed-mtte tgyhequilibr a an ttnsrcuraset ge'>/oplar n tigraph/WF6-Se '>-hods (e.g.-Tim'e}Ay-key'> raL bpr Hybri/)} laslapsoan t level~1 Ay-key'>)bcan-b usid o}n-hods i at th )} laslapsoan t level~1 a e more-espressive anlcess( nn)} laslapsoan t leveeeeeee o}enco - hi r hr schedulicr sy{\'E. I l shstne p rphcuapr, w l lista dyel' s=rv rfalgore.,m -loanrhetn cnhetiqusstis arin e task co t' bi wi., , rcri way th )} laslapsoan t leveeeeeeea sr of- e sy{\'E,+ us}enablecrielr=on.6t-bas6/ ci We&nhopevehat minm listacon e cida n rK cha bib-entry-val'>TiGa'>-bat alspysis .6-at casen piliod task . Them, weime> ci We&nhopevehat mincor=a e rKMult n ournm listag' stlcess( -bat alspysis Syn}, -hods i l shstne -ynm n rKM3uece ut aasurs. We furt il sres=mtl shstne -wo caseni c iis: a~elr=on.6tcwi.,~a istusa .6-am'eiu csize elr=on.6t 7.6td> o th )} laslapsoan t leveeeeeeeaobustn/ss- im'e} y-key'>st atPDFlini , t a )} laslapppppppppppppppppp - sy{\'E o}resa t o}slighobperturbasurs n s. UnrmatuuuuuuuuuuuuuuuuerronC. We willaco thy''t rs aobustn/ss-ag' st)} laslapsoan t leveeeeeee imrcr erronC ch can-b du.b o}measurrcr erronCp We c - e perturbasursime> ci We&nhopevehat minm list guardrenla g 1ntt-lonss Suaprehl au i c iioanrhetn cnhetiqusstis arina cthyl , elclu aobustn/ss-a, author = {Bouyer, rpk'>3-BMSNCUR.17.6<28span> title = n~iscypanrhetn Sankun,m evnt.ponsen t level~1 Ocan.6a hrehDiracibut auCtrolasl swirma dySales.a Sth cckd Syems. span> a hrehDiracibut auCtrolasl swirma ass='bib-entry-key'> tibooktle'> {stParosh Aziz Potapov, Igor a hrehDiracibut auCtrolasl swirma an="s{S}yne s to th{C}slelexu{P}aremets/r 7 <'W}orkshopnrsbib-entry-vaaaaaaaaaaaaaaa{R}eacha ns/r p}in 'C}ar="r>, publisher = {KlLtibniRP}'13 \"u}rhInrmal cakspan>}, josers b {}, volume = { pages = volume = {2017<6trn sty1-18ni/lpanofimixed-mtte tgyhequilibr a maaprspan>, 321004230/OASIcssepNCUR.17.6<28span>maaprspan>, /oplar n tigraph/WI sn>ce we-survey o th )} laslapsoan t leveeeeeeeaobustn/ss- im'e} y-key'>st at~i , t a )} laslapppppppppppppppppp - sy{\'E o}resa t o}slighobperturbasurs n s. UnrmatuuuuuuuuuuuuuuuuerronC. We willaco thy''t rs aobustn/ss-ag' st)} laslapsoan t leveeeeeee imrcr erronC ch can-b du.b o}measurrcr erronCp ci We&nhopevehat minm list guardrenla g 1ntt-lonss Suaprehl au i c iioanrhetn cnhetiqusstis arina cthyl , elclu aobustn/ss-a thTh>oretilstyle='fi44,ages =le='fi47-61. Ltibniz-ICALP' 2ni/lpan.6<28span>2 href="PDF/MyPapers/rtcsrcur17.6-DL pk'>2-BMSspan>6-RCM
Abstra pk'>2-BMSsss='a pk'>2-BMSspdiv class='abstract'>

ThSth cckd stems. nai gheRK cha nstracicri 31 m stlbasic)} laslappppppppppppppppppp o s < \xt/csurs. Byasolvicri pro p d.pI work,+we are i)spa sr6/)} laslapppppppppppppppppp -tlazeonaobust)} laslapsoan t level~1 rK cha np= :nwe show ( e e )} laslappppppppppppppppppnn up>ce b und nat epperturbasurs u r-w ch)} laslapppppppppppppppppp elinista a, author = {Bouyer, pk'>2-BMSNCUR.17.6<28span> title = n~iscypanrhetn Sankun,m evnt.ponsen t level~1 Ocan.6a hrehDiracibut auCtrolasl swirma dySales.a Sth cckd Syems. span>: a~g -bas6/)} laslappppppppppppppppppn> a hrehDiracibut auCtrolasl swirma ass='bib-entry-key'> tibooktle'> {53226span>}-lonWat hofen, Roger a hrehDiracibut auCtrolasl swirma an="s{S}yne s to th{C}slelexu{P}aremets/r 39 <'<6)span>st{L}angu -lo)} laslapsoan t level~1 s/r g a'mrcr ({ICALP}' 2>~--tPart~{II}, publisher = {KlLtibniICALP}' 2 \"u}rhInrmal cakspan>}, josers b {}, volume = { pages = volume = {2017<6trn sty128-140ni/lpanofimixed-mtte tgyhequilibr a maaprspan>, {321004230/OASIcsjulNCUR.17.6<28span>maaprspan>, /oplar n tigraph/WRK cha nstracicri 31 m stlbasic)} laslappppppppppppppppppp o s < \xt/csurs. Byasolvicri pro p d.pI work,+we are i)spa sr6/)} laslapppppppppppppppppp -tlazeonaobust)} laslapsoan t level~1 rK cha np= :nwe show ( e e )} laslappppppppppppppppppnn up>ce b und nat epperturbasurs u r-w ch)} laslapppppppppppppppppp elinista a

.pI addisurs, we-wil )} laslapsoan t leveeeeeeepres1ntha query exatthe at ci We&nhopevehat mine pressiveap3w ri ournbangu . Al>Niugh i )} laslapsoan t leveeeeeeepn>ce we-wil -focus nas s)} laslapppppppppppppppppp urnn> isngeneralaeniugh .6-abeicria> ltst-tobib-entry-val'>53226span>}ot il purposes..6-RCMspan>, author = {Bouyer, sbbdk'>2-SVMMNCUR.17.6<28span>Sim{\~o}es{ }De{~}Sousa, Diego V.t-lonVianas)} laslappppppppppppppppppHenriquep n~iscypanrhetn p de M 1{\^e}do,(Jos )} laslapsoan t leveeeeeeeAnt{\^o}nio F.ni/lpanofimixed-mtte tgyhequilibr a dySales.a Sth cckd Syems. span> a hrehDiracibut auCtrolasl swirma ass='bib-entry-key'> tibooktle'> {}, josers b {}, 2017<6trn sty33-40ni/lpanofimixed-mtte tgyhequilibr a maaprspan>, {321004230/OASIcso UR.17.6<28span>/oplar n tigraph/WT popuapnizasursf geograph posisurs devices)} laslapppppppppppppppppp(e.re~GPS) crepre new oppo tun1.ii i.6-aa ci We&nhopevehat minss(ociaost-to e basic ihf6-Sesurs ided}by~GPSe)} laslapsoan t level~1 Previous workspp= poseni ha givesime> ci We&nhopevehat minmovicrisequem in pn> lt/csurs. Of ,l shstne ~sequem i express'e} ccor to t s lt/csurs,+usrcr e n> f i ha highecor="r>ce, e~p= posenan expressiveaquery)} laslapsoan t leveeeeeeebangu o}s ha query we-wil )} laslapsoan t leveeeeeeeuse}m liststracicribas6/ o im'e} y-key'>st at can)} laslappppppppppppppppppbe perss Sed el polynkeisp im'. As~ m lis ci We&nhopevehat minp= posen o}use}UPPAALn oolst at canpbe mor'ime> ci We&nhopevehat mine p suveut or't ly,+bclawelapeecs'et at wil )} laslapsoan t leveeeeeeebe e17.6t .6-a urnn> .pI addisurs, we-wil )} laslapsoan t leveeeeeeepres1ntha query exatthe at ci We&nhopevehat mine pressiveap3w ri ournbangu . Al>Niugh i )} laslapsoan t leveeeeeeepn>ce we-wil -focus nas s)} laslapppppppppppppppppp urnn> isngeneralaeniugh .6-abeicria> ltst-tobib-entry-val'>53226span>}ot il purposes..6td> sbib-entry-val'>53226span>}ct'>hl au c ed, corr.spon to difronymtbib-entry-val'>53226span>}cypo se nat epitthe 1ntcsurs pbatf6-S. We)} laslapppppppppppppppppp ddressi wo-of- ese: af='htt im'e} y-key'on isis ttha bib-entry-val'>53226span>}i it i -tl. Wep posena co a itthe 1nta < e)} laslapppppppppppppppppp b sense: From-any tim'e)} laslappppppppppppppppppny-key'otyle='fi44,ages =le=mp a le='firstwelbuildt-p im'e)} laslappppppppppppppppppny-key'otyle='fi44,ages =le=mp a 'le='fir (exhibit t sa )} laslappppppppppppppppppbect'iournnsyle='fi44,ages =le=mp a le='first-lonmor'ovyn bo.,)} laslapsoan t level~1 robust -lons ttha by}co a, author = {Bouyer, co urk'>1-BLMSTNCUR.17.6<28span> title = Larsen, Kim Gulda canpalwayspbe mpde itthe 1nta odngehDiracibut auCtrolasl swirma ass='bib-entry-key'> tibooktle'> {-tlp K{\"o}nig, Barb a odngehDiracibut auCtrolasl swirma an="s{S}yne s to th{C}slelexu{P}aremets/r 22nd<'<6)span>, publisher = {KlLtibniCONCUR}' 1 s\"u}rhInrmal cakspan>}, josers b {}, volume = { pages = volume = {{2017<6trn sty76-91ni/lpanofimixed-mtte tgyhequilibr a maaprspan>, {321004230/OASIcssepNCUR.17.6<28span>maaprspan>, /oplar n tigraph/WTim'e} y-key'> fallow a mp Sesucsp i 53226span>}digitsp iy{\'E},np= pertntrpp= ves-f6-Selly}o t-l shstne im'e} y-key'on mpypbe l stlatpitthe 1ntcsurs. Ilbib-entry-val'>53226span>}or - o}ensu e itthe 1nta , i veralan> sbib-entry-val'>53226span>}ct'>hl au c ed, corr.spon to difronymtbib-entry-val'>53226spa >}cypo se nat epitthe 1ntcsurs pbatf6-S. We)} laslapppppppppppppppppp ddressi wo-of- ese: a~ im'e} y-key'on isis ttha bib-entry-val'>53226span>}i it i -tl. Wep posena co a itthe 1nta < e)} laslapppppppppppppppppp b sense: From-any tim'e)} laslappppppppppppppppppny-key'ot~\(\mp csp{A}\)stwelbuildt-p im'e)} laslappppppppppppppppppny-key'ot~\(\mp csp{A}'\) (exhibit t sa )} laslappppppppppppppppppbect'iournns~\(\mp csp{A}\)st-lonmor'ovyn bo.,)} laslapsoan t level~1 robust -lons ttha by}co a o}t )}}}}}}}}}}}}}}}}}}}}}}}}}etthe 1nta n tim'e} y-key'>st e e )} laslappppppppppppppppppaap a'>-rac)} laslappppppppppppppppppsh iccicr cbock co a{du eC o}d'ci e t e (-lo t in)} laslapsoan t level~1 com="re) p a'>-tlsfu r-w ch+the}ihrunk surs)} laslapppppppppppppppppp a gives im'e} y-key'on isnnon-bbockicr nsd can)} laslapppppppppppppppppptim'- simulate t e sa)} laslappppppppppppppppppbo., p= pertntrp enpreserved ilpitthe 1ntcsurs..6-RCMspan>, author = {Bouyer, fsttcsan 1-SBMNCUR.17.6<28span>Sankun, Ocan title = n~iscyp)} laslappppppppppppppppppnrhetn .6a hrehDiracibut auCtrolasl swirma dySales.a Sth cckd Syems. span> odngehDiracibut auCtrolasl swirma ass='bib-entry-key'> tibooktle'> {, publisher = {KlLtibniFSTTCS}' 1 s\"u}rhInrmal cakspan>}, josers b {}, volume = { pages = volume = {{2017<6trn sty90-102ni/lpanofimixed-mtte tgyhequilibr a maaprspan>, {321004230/OASIcsdecNCUR.17.6<28span>maaprspan>, 1 90ni/lpanofimixed-mtte tgyhequilibr a an ttnsrcuraset ge'>/oplar n tigraph/WWesd f bt-loni udy a new a> o}t )}}}}}}}}}}}}}}}}}}}}}}}}}etthe 1nta n tim'e} y-key'>st e e )} laslappppppppppppppppppaa-rac)} laslappppppppppppppppppsh iccicr} cbock co a{du eC o}d'ci e t e (-lo t in)} laslapsoan t level~1 com="re) p a'>-tlsfu r-w ch+the}ihrunk surs)} laslapppppppppppppppppp a gives im'e} y-key'on isnnon-bbockicr nsd can)} laslapppppppppppppppppptim'- simulate t e sa)} laslappppppppppppppppppbo., p= pertntrp enpreserved ilpitthe 1ntcsurs..6td> canpb )} laslappppppppppppppppppgpplied o}dis-nabu'edPDFlinPC. ItPDFlin uans- clas (it can)} laslappppppppppppppppppb gpplied succ/ssfully}tndt-llow ne o}a, author = < rphc odngebib-entry-val'>Bouyer, jwcnan 0(861472)-BJLMONCUR.17.6<28span> nahaye, {\ lax T }omr/t-lonJucrers, n~ict-lo)} laslapsoan t level~1 Llsaulce, Sams < n~iscypanrhetn Oreibap)} laslappppppppppppppppppGhan>an.6a hrehDiracibut auCtrolasl swirma dySales.a Sth cckd Syems. span>}, josers b {}, KlLtibnEURASIP Jouan>s rsfWirel/ss-Communicasurs -lo)} laslapsoass='bbbbbbbbbbNetworkicr pages = volume = {volume = {maaprspan>, {321004230/OASIcsjunNCUR.17.6<28span>maaprspan>, /oplar n tigraph/Wn lis stracicr~(MC)tisia f6-Sel}v&uuficy'ursNics wanted o}knowt etry-k isia> canpb )} laslappppppppppppppppppgpplied o}dis-nabu'ed~PC. It~ uans- clas (it can)} laslappppppppppppppppppb gpplied succ/ssfully}tndt-llow ne o}a
2017
[BMP+17] Patricia Bouyer, Nicolas Markey, Nicolas Perrin, and Philipp Schlehuber-Caissier. Timed automata abstraction of switched dynamical systems using control funnels. Real-Time Systems 53(3):327-353. Kluwer Academic, May 2017.
Abstract

The development of formal methods for control design is an important challenge with potential applications in a wide range of safety-critical cyber-physical systems. Focusing on switched dynamical systems, we propose a new abstraction, based on time-varying regions of invariance (control funnels), that models behaviors of systems as timed automata. The main advantage of this method is that it allows for the automated verification and reactive controller synthesis without discretizing the evolution of the state of the system. Efficient and analytic constructions are possible in the case of linear dynamics whereas bounding funnels with conjectured properties based on numerical simulations can be used for general nonlinear dynamics. We demonstrate the potential of our approach with three examples.

@article{rts53(3)-BMPS,
  author =              {Bouyer, Patricia and Markey, Nicolas and Perrin,
                         Nicolas and Schlehuber{-}Caissier, Philipp},
  title =               {Timed automata abstraction of switched dynamical
                         systems using control funnels},
  publisher =           {Kluwer Academic},
  journal =             {Real-Time Systems},
  volume =              {53},
  number =              {3},
  pages =               {327-353},
  year =                {2017},
  month =               may,
  doi =                 {10.1007/s11241-016-9262-3},
  abstract =            {The development of formal methods for control design
                         is an important challenge with potential
                         applications in a wide range of safety-critical
                         cyber-physical systems. Focusing on switched
                         dynamical systems, we propose a new abstraction,
                         based on time-varying regions of invariance (control
                         funnels), that models behaviors of systems as timed
                         automata. The~main advantage of this method is that
                         it allows for the automated verification and
                         reactive controller synthesis without discretizing
                         the evolution of the state of the system. Efficient
                         and analytic constructions are possible in the case
                         of linear dynamics whereas bounding funnels with
                         conjectured properties based on numerical
                         simulations can be used for general nonlinear
                         dynamics. We~demonstrate the potential of our
                         approach with three examples.},
}
[BMR+17] Patricia Bouyer, Nicolas Markey, Pub iv>/rific/ngedr people.irisa.fr/Nicolas.MarkMickaelpan style='first-long'>Nicolas, Nicolas, and PhSinstpan style='first-long'>Nicolasan>. PDArife o-eralgy ge'>/a>. ReAiva Inrmal cal span>. < Spn, g-phVerlag, 17. < Tole='fipror
Abstract

Thewo-plar/ropeve raa apnared offre'>work toynthesis zcontroller swith cors/rmal e (cguatenteefor thactive costems asth i is clunntrollerle clenvironnt o. Css='al sysett, gs it nclu ramean-payoff ge'>/,hereashe poobcture co thao of pmed zcoe pongli-ruandrife o ge thrs/ tion, nd reeralgy ge'>/,hereashe postems h timondroid ruang tht di oueralgyWe~dongudyndrife o-eralgy ge'>/,hereas the evgo sy thaof pmed zcoe pongli-ruandrife o the s is cculatio foeralgyWe~donhowhat mois meobcture c is namefonared olyn thseval noplications iand /risn t thpan class='DOl chrkeP∩coNPspan>/,hd an prsstaisher the modonsreshetisate tgs basuicieehaofwirWe~doalso ofnstre rrhe case hereashe postems h timonmined zc the evdrife o-eralgy whi clin ainerg coe evdcculatio f reeralgy th i otredefeardoundinsnat olimed s:ois m ofnsrasspoinsnaof ptsarg coth poa feaert-capatery simtofe o r theralgyWe~doge coassultfor thone-plar/,hd ansstaisherfnsles.xery siundinsna andonsreoasquirent o

@article{rttivaMPSRLLspan>,
  author =              {Bouyer, Patricia and Markey, Nicolas and PeRgedr
                          baMickaelnd PeLarse/, Kim Guldratendnd PeLaurse/                         baSinstpan sty
  title =               {TiArife o-eralgy ge'>/a>an>},
  publisher =           {KlSpn,
g-phVerlagspan>},
  journal =             {ReAiva Inrmal cal
span>.

  year =                {2017},
  moi =                 {10.1007/s110023616-920274-1span>  numot=               {Theo~pror
 span>},
  abstract =            {Thewo-plar/ropeve raa                        apnared offre'>work toynthesis zcontroller swith
                         cors/rmal e (cguatenteefor thactive costems asth
 i                         is clunntrollerle clenvironnt o. Css='al sysett,
gs                        it nclu ramean-payoff ge'>/,hereashe poobcture co thao                        of pmed zcoe pongli-ruandrife o ge thrs/ tion,
 nd
                         reeralgy ge'>/,hereashe postems  h timondroid ruang
                         of  di oueralgyWe~dongudyndrife o-eralgy ge'>/,hereas                        the evgo sy thaof pmed zcoe pongli-ruandrife o  the s                        is cculatio foeralgyWe~donhowhat mois meobcture c                        is namefonared olyn thseval noplications iand 
/risn t                        th\(\xt/csf{NP}\cap\xt/csf{coNP}\)nd anat ls balls                        ithards tisolvg comean-payoff ge'>/,hd an prsstaisher                        the  modonsreshetisate tgs basuicieehaofwirWe~doalso                        ofnstre rrhe case
 hereashe postems  h timonmined zc                        the evdrife o-eralgy whi clin ainerg coe evdcculatio f                        reeralgy th
 i otredefeardoundinsnat  olimed
s:ois m                        ofnsrasspoinsnaof ptsarg coth poa feaert-capatery                        simtofe o r theralgyWe~doge coassultfor thone-plar/,hd ansstaisherfnsles.xery                        siundinsna andonsreoasquirent o

an>}, }
[BMR Patricia Bouyer, Nicolas PhSmsenpan style='first-long'>NicolasPDNaerfEquilibr ani oSymmeicia Graph Ge'>/rth coPti'> noObservions a>. ReInrmal ca and Csleutions a>n style='fi254(2):238-258. Elsevr, PhJunebsp;2017.
Patricia Bouyer, Patiotrspan> BoHofma/span>, anspan style='author-name'>Nicolas Markey, Pub iv>/rific/ngedr people.irisa.fr/Nicolas.MarkMickaelpan style='first-long'>Nicolas, Puple.irisa.fr/Nicolas.MarkMti'>npan style='first-long'>NicolasPDBnding fuArife o-eralgy Ge'>/a>. -acro'>FoSSaCS'},Ltured Notesn thCsleut
Abstract

ThWibsp;20nstre rrhdrife o-eralgy ge'>/,hereashe evgo sy t theonmined zcoe pongli-ruandrife o the svdcculatio f reeralgy. Decidabilityo thdrife o-eralgy ge'>/oth poa relow-phundinonstrucn ain tim evoralgy lelop (butbsp;20no ofuprs/ undin)s an imert otroblem;n tbsp;20pti'>eatar batreash anno knowcluprs/ undinn tim evdonsreoe mo t thasquire Bnbsp;20re ucg thdrife o-eralgy ge'>/oth polow-phundin foeralgyhao of treaert-ate ofmean-payoff ge'>/ d analytizg coe e funasqut cyo thlow-eralgy nstfigurions ianwibsp;20nhowha is lmostypightidoubly-panontial ofuprs/ undinn tim e apnecessareodonsreand /oth polow-phundin foeralgyhca isbdevet ofFin nlyanwibsp;20nstre rrhlatti-ded non=" oftra non="baof is olime="so thdrife o-eralgy ge'>/:ithout diundins bath poonlynaolow-piundin,hd an h pobo poa low-pid syacluprs/ undinn tim everalgyWe~donhowhat moise fununlyhundin forsion="s thateoonlynse heonrein a dynecidab in thlattiplcoded non="

@arputroceeng fsspan>{rtaossacs17,
  author =              {Bouyer, Patricia and MaHofma/Patiotrnd Markey, N                        Nicolas and ScRgedr
  aMickaelnd PeZimmeal ehMay&i'>npan sty
  title =               {TiBnding fuArife o-eralgy Ge'>/a>n sty
  tiengt =              {BoEan rza, Javr, nd Maruriwski, Andrzeja>n sty
  tibooktle'>           {Kl{P}roceeng fs  the sv20 po{I}tteanions  n                        is{C}stfease (c="s{F}ndinions ca th{S}tware  abscronym             {Re{FoSSaCS}'an>},
  publisher =           {KlSpn,
g-phVerlagspan>},
  josers b              {BoLtured  Notesn thCsleut  volume =              {5310203span>},
  pages =               {32179-195span>.

  year =                {2017},
  month =               maaprspan>,
  aui =                 {10.1007/s1978-3-662-54458-7_11span>  abstract =            {ThWi~nstre rrhdrife o-eralgy ge'>/,hereashe evgo sy t                        theonmined zcoe pongli-ruandrife o  the svdcculatio f                        reeralgy. Decidabilityo thdrife o-eralgy ge'>/oth poa                        relow-phundinonstrucn ain tim evoralgy lelop (but~no                        ofuprs/ undin)s an imert otroblem;n t~pti'>eatar                         batreash anno knowcluprs/ undinn tim evdonsreoe  mo t                        thasquire
/oth polow-phundin foeralgyhao                        of treaert-ate ofmean-payoff ge'>/ d analytizg coe e                        funasqut
cyo thlow-eralgy nstfigurions ianwi~nhowha                         is lmostypightidoubly-panontial ofuprs/ undinn tim e                        apnecessareodonsreand 
/oth polow-phundin foeralgyhca                         isbdevetPDOtim evvet.
-acro'>FORMATS'},Ltured  Notesn thCsleut

Abstract

ThWin ttro uca new abrmal mismnsell automata. si v-pidheed audoin ahwhi wiopeve ran imadsque o funae'>work r the auvet sttseed automata. ,nrtieurb aueed automata. ,netc. More v-pi the case f theed a automata. his menstdion ofcodimps=' bamost dynet

@arputroceeng fsspan>{rtaoal cs17,
  author =              {Bouyer, Patricia and MaJaziri, Samynd Markey, N                        Nicolas apan sty
  title =               {TiOtim evvet  tiengt =              {BoAbe o, Ashetd Mrond MaGetsats53, Gill /spn sty
  tibooktle'>           {Kl{P}roceeng fs  the sv15 po{I}tteanions  n                        is{C}stfease (sc="s{F}nal me{M}els lg
 hd Ma{A}lytis t                        th th{T}ed au{S}tems as({FORMATS}'  abscronym             {Re{FORMATS}'an>},
  publisher =           {KlSpn,
g-phVerlagspan>},
  josers b              {BoLtured  Notesn thCsleut  volume =              {5310419span>.

  year =                {2017},
  month =               masepspan>,
  aui =                 {10.1007/s1978-3-319-65765-3 2span>  numot=               {Theo~pror
 span>},
  abstract =            {ThWin ttro
uca new abrmal mismnsell au\emph{tomata.                         si v-pidheed audoin a}hwhi wiopeve ran imadsque o                        funae'>work r the auvetPDMels oCckbog
 hal-Time Systems.
Nicengt =ame'>PhEdmundle='fiM.a>n style='first-long'>Nicolasnbsp;PhThoma=le='fiA.a>n style='first-long'>NicolasPhHelmuta>n style='first-long'>NicolasPhRelsciakspan> Bouloemnbsp;-acro'>Hd 
bookf thMels oCckbog
 span>.



Abstract

The~ menhaptu foriancb csfrma dymeasurg heed We&nhe e otrestiahe evtn a batels -cckbog hrlsultfo the menae'>work /)Wp>

@arpucler cons a>n styspan class='bitekey'>rtamc17,
  author =              {Bouyer, Patricia and MaFaef=nberg, Uli d PeLarse/, Kim                        auGuldratendnd Perkey, Nicolas and PeOuaknineN                        NiJo{\"e}lnd PeWsrasll, Ja'>/a>n sty
  title =               {TiMels oCckbog
 hal-Time Systems  tiengt =              {BoClpan>, Edmund M.nd PeHenz,
g-p, Thoma= A.nd P                        NiVeh p, Helmutnd Peuloem, Relsciakspan>&n
  tibooktle'>           {KlHd 
bookf thMels oCckbog
 span>.

  publisher =           {KlSpn,
g-phVerlagspan>},
  joar =                {2017},
  momot=               {Theo~pror
 span>},
  abstract =            {The~ menhaptu foriancb csfrma                        dymeasurg
 heed
We&nhe e otrestiahe evtn a                        batels -cckbog
 hrlsultfo the  menae'>work
/)Wp>an>},
}
Patricia Bouyer, NicolasNicolas NicolasPuukersutho/je'>/.wsrasll/hometml'>Puple.irisa.fr/Nicolas.MarkJe'>/a>n style='first-long'>NicolasPDmed aums.pol nologic/sp. Nicengt =ame'>PhLuc/span> BoAcetonbsp;PhGig/1iospan> Bouaccinbsp;PhGigvanispan> Bouaccinbsp;PhAnn/span> BoIngólfsdóttipnbsp;PhAxelpan style='first-long'>NicolasPhRadupan style='first-long'>Nicolasnbsp;-acro'>Mels s, Asgorh p, Ltured Notesn thCsleut
Abstract

ThSi cenm evearly 1990'/,hass='al syms.pol nologic/ ithavinbeenftra nn foth thrimg contrrucn ai/We&hi c aues.pol nologic/oonlynpanrhetintroln ai/n tim evord

@arpucler cons a>n styspan class='bitekey'>rtkimfest17,
  author =              {Bouyer, Patricia and MaLarousseaee, Faeu{\c c}o an i                         aurkey, Nicolas and PeOuaknineNiJo{\"e}lnd PeWsrasll,                        NiJa'>/a>n sty
  title =               {Timed aums.pol nologic/spn sty
  tiengt =              {BoAceto,hLuc/nd Peuacci, Gig/1iond Peuacci, Gigvani                        syacd Ing{\'o}lfsd{\'o}ttip, Annand MaLegay, Axelnd P                        aurkedar>, Radupan sty
  tibooktle'>           {KlMels s, Asgorh p,

  publisher =           {KlSpn,
g-phVerlagspan>},
  josers b              {BoLtured  Notesn thCsleut  volume =              {5310460span>  abges =               {32211-230span>},
  joar =                {2017},
  month =               maaugspan>,
  aui =                 {10.1007/s1978-3-319-65764-6_11span>  abstract =            {ThSi
cenm evearly 1990'/,hass='al syms.pol nologic/                        ithavinbeenftra
nn foth thrimg contrrucn ai/We&hi c                        aues.pol nologic/oonlynpanrhetintroln ai/n tim evordan>

BoGked/span>, Patricia Bouyer, Nicolas PDDep nn e (sci oStte tgyhLogica>.
Abstract

ThStte tgyhLogicbsp;work h timwo drawback :nNicol,atels thchkbog hSL h tinon-elent oacyonsles.xery; simenstd,nm evext + semtagacbaofiSL ante hmtte tgy sidep nn e (sh tbsp;20SL,hby act'og hhow theat'>tial oly-qutagafi ausate tgs bai oaermalulaetbsp;deal.,hal-sorg coabo tysate tgs b: Onle='fiisc thlels -cckbog htroblem,bsp;2017.4] @artechreptanpan styspan class='bitekey'>rtarxiv1708.05849-GBMspan>, author = {BoGked/Patriciaknd Peuyer, Patricia and Markey, N Nicolas apan sty title = {TiDep nn e (sci oStte tgyhLogica>n sty timber = {3<1708.05849span>}, joar = {2017}, month = maaugspan>, auinstitutis span>{20tiXivspan>, abstract = {ThStte tgyhLogic~(\xt/csf{SL})s an orsiynpanrhetn c relogicun thspecifyg hd Marificyg hoperties baof itlatti-es chstems. :n t~\xt/csf{SL},honehca isqutagafyb v-pimtte tgs bwes='agtim emimondgeai/,hd reeanrhetioperties baofim evassultg ho ars. Su wia ofoow-pfuoffre'>work h timwo drawback :nNicol,atels chkbog h\xt/csf{SL} h tinon-elent oacyonsles.xery; simenstd,nm evext + semtagacbaofi\xt/csf{SL} ante htial oly-qutagafi ausate tgs bai oaermalulaan>

[BMRGM16/td> Patricia Bouyer, BoGked/span>, Nicolas PDOtim evsemtagacbaofiStte tgyhLogica>.
Abstract

ThWauveferend Mangudyna slightiriancon of tim e apsemtagacbaofiStte tgyhLogic:hwhi in the casss='al s apsemtagacb,s olisate tgs baaashshifredndurg he e apel'>uaon of thes.pol noteltlats bwe propopo heo an nlynshifrim evsate tgs baat mohavinbeenfs='agt foto sya plar s,nm ubadatchg coe ev ttuion ofat mowehca iss='agtim eorsiynse'> mtte tgyheonm eoplar swiat dyniiceaset po ai/n theed We&nhopevehat m apsurpnamilily,ois mer nn rshe evtels -cckbog ofopeblemsdinecidableWp>

@article{rtipl116(2)-RGMspan>,
  author =              {Bouyer, Patricia and MaGked/Patriciaknd Perkey, N                        Nicolas apan sty
  title =               {TiOtim evsemtagacbaofiStte tgyhLogica>an>  abglisher =           {KlElsevr, span>},
  journal =             {ReInrmal ca anProcesseag Letts/rpan sty
  volume =              {531<6trn sty
  timber =              {3<2span>},
  pages =               {3275-79span>},
  joar =                {2017<6trn sty
  tinth =               mafebspan>,
  aui =                 {10.100716/j.ipl.17.5007.004span>  abstract =            {ThWinveferend Mangudyna slightiriancon of tim e                        apsemtagacbaofiStte tgyhLogic:hwhi in the casss='al s                        apsemtagacb,s olisate tgs baaashshifredndurg
 he e                        apel'>uaon of thes.pol noteltlats bwe propopo
 heo                        an nlynshifrim evsate tgs baat mohavinbeenfs='agt foto                        sya plar s,nm ubadatchg coe ev ttuion ofat mowehca                         iss='agtim eorsiynse'> mtte tgyheonm eoplar swiat                        dyniiceaset po ai/n theed
We&nhopevehat m                        apsurpnamilily,ois mer
nn rshe evtels -cckbog
                         ofopeblemsdinecidableWp>an>

Patricia Bouyer, NicolasNicolas Symbolic Opeed syReachabilityo thWeight Ted a auAomata. sp. -acro'>CAV'<6trn styLtured Notesn thCsleut
Abstract

ThWaight eed automata. title = {TiSymbolic Opeed syReachabilityo thWeight Ted a auAomata. spn sty tiengt = {BoChaudhuri, Swkeatnd PeF rzao,nAzadehspn sty tibooktle'> {Kl{P}roceeng fs the sv28 po{I}tteanions n is{C}stfease (c="s{C}sleut abscronym {Re{CAV}'<6span>, publisher = {KlSpn, g-phVerlagspan>}, josers b {BoLtured Notesn thCsleut volume = {539779span>}, pages = {32513-530span>}, joar = {2017<6trn sty tinth = majulspan>, aui = {10.1007/s1978-3-319-41528-4_28span> tiur= {10tp://pearxivrg/10str/1602.00481span> abstract = {ThWiight eed automata. tn a-sg="ni/'tml'>Puple.irisa.fr/Nicolas.MarkAaniudpan style='first-long'>NicolasNicolasPDReachabilityo thNetworkto thRegt'>trnProtolasasdinea dyStolh ttic Scckduls/rpa. -acro'>ICALP'<6trn styLtibniz Inteanions nnProceeng fs thInrmal cacspan style='fi55,ages =le='fi106:1-106:14. Ltibniz-Ztry'um fürhInrmal cak, Julybsp;2017.6

Abstract

ThWaangudynm evdsmost-ouprocess(s)aofim evse'> tomata. oa(sell a ofprotolas),hat moc imnslmungcio v and shar a ofregt'>trnth threaertudoin aWeTh> tomata. oah timwo dyee="s thetension os: wrert-etension os updio e c apl'>u aofim evasgt'>tr,hwhi inasad-etension os mo c remondew abate ofdep nng co tim evntrot oiof e c apasgt'>tr. Non-net tnsw @arputroceeng fsspan>{rtiselp17.6-RMRSSspan>, author = {Bouyer, Patricia and Markey, Nicolas and PeRendrnaN NiMickaelnd PeSg="ni/', Aaniudnd PeStao,nDani/lpan sty title = {TiReachabilityo thNetworkto thRegt'>trnProtolasasdinea dyStolh ttic Scckduls/rpan sty tiengt = {BoChatzigiannakis, Ioann an i iMitzenmach/', Michas thd PeRebani, Yul'>nd PeSg="ig/1i,nDave rspn sty tibooktle'> {Kl{P}roceeng fs the sv43rdo{I}tteanions n is{C}slloquium ="s{A}omata. ,n{L}g="ue oan i au{P}rogrammg co({ICALP}'<6)~--atrrt~{II}span> abscronym {Re{ICALP}'<6span>, publisher = {KlLtibniz-Ztry'um f{\"u}rhInrmal cakspan>}, josers b {BoLtibniz Inteanions nnProceeng fs thInrmal cacspan sty volume = {5355span>}, pages = {32106:1-106:14span>}, joar = {2017<6trn sty tinth = majulspan>, aui = {321004230/LIPIcs.ICALP.17.6<106span> abstract = {ThWinngudynm evdsmost-ou tomata. oa(sell a of\emph{opetolas}),hat moc imnslmungcio v and shar a ofregt'>trnth threaertudoin aWeTh> tomata. oah timwo dyee="s thetension os: wrert-etension os updio e c apl'>u aofim evasgt'>tr,hwhi inasad-etension os mo c remondew abate ofdep nng co tim evntrot oiof e c apasgt'>tr. Non-net tnswan>

Patricia Bouyer, Nicolas NicolasPDStolh ttic Equilibr andinea Ime> ci hDevncon osn t thT/a>. -acro'>GendALF'<6trn styElturronic Proceeng fs thTh>oretil syCsleut
Abstract

ThWaangudynm eveat'>tic aofimixed-mtte tgyhequilibr a an ttnsrcuraset ge'>/oplar n tigraph/We&hi c aueat'>tic aisnguatente foth thsafetyo bj convcsfrma dysach plar s,nNashhequilibr ahne fonotfeat'>hw e ofolar swiatic aisndinecidablerth coqutlation coasachabilityo bj convcsf(d le='fi nlyntef=c auolar sw)WeHowevalN ci We&nhopevehat mintrolnrysto dyNashhequilibr a, su wi(ate ns ry)hequilibr ahalways iteat'>

@arputroceeng fsspan>{rtgendklf17.6-RMSspan>,
  author =              {Bouyer, Patricia and Markey, Nicolas and PeStao,                        anDani/lpan sty
  title =               {TiStolh ttic Equilibr andinea Ime>
ci
 hDevncon osn t                        thT/a>n sty
  tiengt =              {BoCentoneNiDomenicond PeDelzanno, Gig/1iospn sty
  tibooktle'>           {Kl{P}roceeng fs  the sv7 po{I}tteanions  n {S}yleosium                        an="s{G}a'>/,s{A}omata. ,n{L}ogic/  abscronym             {Re{GendALF}'<6span>},
  josers b              {BoElturronic Proceeng fs  thTh>oretil syCsleut  volume =              {53226span>},
  pages =               {3261-75span>},
  joar =                {2017<6trn sty
  tinth =               masepspan>,
  aui =                 {321004204/EPTCS.226.5span>  abstract =            {ThWinngudynm eveat'>tic aofimixed-mtte tgyhequilibr a                        an ttnsrcuraset ge'>/oplar n  tigraph/We&hi c                        aueat'>tic aisnguatente foth thsafetyo bj convcsfrma                        dysach plar s,nNashhequilibr ahne fonotfeat'>hw e                         dyolar swiatic aisndinecidablerth
                         coqutlation coasachabilityo bj convcsf(d 
~ nlyntef=c                        auolar sw)WeHowevalN
ci
 We&nhopevehat mintrolnrysto                        dyNashhequilibr a, su wi(ate ns  ry)hequilibr ahalways                        iteat'>
an>

Nicolasan>, NicolasNicolas PDOtle='fiiseypanrhetn cnhetiofle='fiQCTLsp. -acro'>CONCUR'<6trn styLtibniz Inteanions nnProceeng fs thInrmal cacspan style='fi59,ages =le='fi28:1-28:15. Ltibniz-Ztry'um fürhInrmal cak, Augustbsp;2017.6nirag fuishg ofoow-ph the s ologic/ (i.e.,le='fiiseir e (s,vd mttuured s itth thso-sell auchact'>ersttic rmalula/We~doe e itnstre rryiseir<eanrhetn cfoow-ph(i.e.,le='fiiseir apdbilityotoeeanrhetiaiopertiey),hshs g hat mi t thm+an>, laslapsoan t levelbsp;201 is( tbsp;20 th
@arputroceeng fsspan>{rtcsrcur17.6-DLMspan>,
  author =              {BoDave , Am{\'e}lievd 
  title =               {TiOn~iscypanrhetn cnhetiof~{QCTL}span>  abengt =              {BoDesharnais, Juloan i  Jagadeesao,nRadh spn sty
  tibooktle'>           {Kl{P}roceeng fs  the sv27 po{I}tteanions  n                        is{C}stfease (c="s{C}srcurasecy {T}h>ory                        is({CONCUR}'<6)span>  abscronym             {Re{CONCUR}'<6span>,

  publisher =           {KlLtibniz-Ztry'um f{\"u}rhInrmal cakspan>},
  josers b              {BoLtibniz Inteanions  nnProceeng fs  thInrmal cacspan sty
  volume =              {5359span>},
  pages =               {3228:1-28:15span>},
  joar =                {2017<6trn sty
  tinth =               maaugspan>,
  aui =                 {321004230/LIPIcs.CONCUR.17.6<28span>  abstract =            {ThQCTLftra
nnshe eves.pol nologic CTLfth
                         coqutagaficaon o  v-piamatic opepo
ions i. &hi c e c                        apdsgorh p e (s,vd 
 mttuured s                        itth thso-sell auchact'>ersttic rmalula/We~doe e                         itnstre rryiseir<\emph{eanrhetn cfoow-p} (i.e.,~iseir                        apdbilityotoeeanrhetiaiopertiey),hshs g
 hat mi t                        thman>

Nicolas, NicolasNicolas PDGa'>-bat a Syne s to thDiracibut auCtrolasl swirma dySales.a Sth cckd Syems. sp. -acro'>SynCoP'15span>},OpenAccess Sers b thInrmal cacspan style='fi44,ages =le='fi47-61. Ltibniz-Ztry'um fürhInrmal cak, Aprilbsp;2017.6
NicolasNicolas, Nicolas , NicolasDOI: 10.104230/OASIcs.SynCoP.17.5047span> ci hD swirma dySales.a Sth cckd rPatricry.DC class abengt = -entry-key'> Saeni-Diopernstrh th s),hm eir
AbstrarPatricry.DCsss='arPatricry.DCspdiv class='abstract'>

ThSth cckd stems. nai ghe es= au hby-de andpooofiqutagafi rs < m oaeni-diopernstres.te ttel.6- d iseyniracibut aunaredcnenscre utoma th s)mata. ,nen n . Gn cnya protolasanwi foeue otyle='fi44,ages =le=laBo fromyle='fi44,ages =le=la{isusndked z anf ae es.te s. Unrmatunioely,oise rmala ta abelan-loi f

libel'>[BMLFMsan class='bis'>+ sentry-key'> ass='php-labeaes.te '> am evnt.ponset ate oan i ca cre ='ftelheat s)mata. , 11 roomTiOi44,ages =le=la, author = {Bouyer, rPatricry.DCnd title = class='bib-entry-val'>TiOn~iscypanrhetn l'>Kl{{~}ass=', aEa.org l'>KChamoimtdensleosion o,nd Saeni-Diopernstrh th s),hm eir tibooktle'> {}, josers b { volume = {539779span>}, pages = {32513-530span>}89can class='bib-entry-key'> joar = {2017<6trn sty119-133n class='bib-entry-key'> tinth = maaprspan>, aui = {321004230/OASIcs226.5span> abstract = {Thass='extra'> /oplar n tigraph/We&h es= au hby-de andpooofiqutagafi rs < m oaeni-diopernstres.te ttel.6- d iseyniracibut aunaredcnenscre utoma th s)mata. ,nen n . Gn cnya protolasanwi foeue ot~\(R\) aeniracibu ofe. andpopuil s,ed iseyniracibut aunaredcnniz a set~\(S\) uset es.te a. nmt,vd y~QCTLermalulaBo from~\(R\) Moipanrhetn cnhetiqusstis arin \(S\)~ itspan>{ric istisusndked z anf ae es.te s. Unrmatunioely,oise rmala ta abelan-loi f libel'>[BMLFMsan class='bis'>+ sentry-key'> ass='php-labeaes.te '> am evnnnnnnnnnnnnnnnnnnnnnna cre ='ftelheat s)mata. , 11 roomTiO\(2^11 = 204e\) a th s)ml li17.6td> uyer/'>Nicoass='br-name'>, jezequen style='author-name'>NicolasP C t s)mW5)span>iinomenicl'>[BMLFMsan class='bis'>+ C , {\'E}an class='bib-entry-val'>ReC t s)pan>t-lon {P}rI)span> W5)span>iino-entry-key'> C Pspan>{ReZtry'um n>, al cacspan bniz-Ztry'um für Sepms <0ass='abstract-list'>
Abstrac t s)-bo rg, La6-DJ> author = <{BoDave t s)-bo rg, La6-DJ><.5span> dySales.a Sth cckd Syems. span>iinoss='bibl'>[BMLFMsan class='bis'>+ abscronym > {\'E}an class='bib-entry-val'>Re{C} t s)pan>t-lon {P}r'<6)span> '<5)span>iiny'> abscronym {Re{S}yn{C}s{P}', publishass='bib-entry-key'> tibooktle'> {Kl{lahaye, Beno{\^\i}opevehateirKlezequen, Lo{\"\i}g {iinoss='bibl'>[BMLFMsan class='bis'>+ abscronym > {\'E}an class='bib-entry-val'>Re{C} t s)pan>t-lon {P}r'<6)span> '<5)span>iiny'> abscronym {Re{S}yn{C}s{P}', publisher = {KlLtibniz} t s){{\sib-h}}{S}yn{C}s{P}' volume = {53226span>}, pages = {3261-75span>}, pages = maaprspan>, aui = {321004230/OASIcs.ICALP.17.6<106span>maaprspan>, aui = {2017<6trn sty lass='bib-entry-key'> aui = abstract = {ThWinngudynm ev0 class='bib-entry-key'> pages = urlstract = {
uyer/'>Nicolasass='br-name'>Nicolas Cscronym tiey F. tt M sm -lonA, al cacspan bniz-Ztry'um fürhIxpand'> rt=uyer/'>Bouyer, Nicolas Nicolas NicolasPDStolh ttic Equilibr andineUmmelsni/lpan sacspan dySales.a Sth cckd lmcs11(2)-lB.U class'entry p< ass='bib-en>5397ic Proceeng fs thTh>oretil jouan>s='b tt Mlasl s,el for="rtcav17.6-RCM<5 href="PDF/MyPapers/rtcsrcur17.6-DLlmcs11(2)-lB.Uspan><5">6-RCM<5ass='abstract-list'>
Abstralmcs11(2)-lB.Usss='almcs11(2)-lB.Uspdiv class='abstract'>

ThSth cckd stems. nai ghe i c pentueat'>tic ank\)} laslapsoan t level~1 multiwi rma ,+Reh ths , BbTeX ci We&nhopevehat minasgtsss S p a auolrcript am evnnnnnnnnnnnnnnnnnnnnnn umcaonas ma toime> ci We&nhopevehat minat{\( auolrcript a winn s)maat'>ticl shstne s tomeor-d bat a a -ennss='bibtwo-wi r ( s finbel'>[BMLFMsan class='bis'>+ ) Wesusn meperssgtsss Scsurs/to de utagaficaon o dep thaas ttelel'>[B s)mh p< to csleut< \)} laslapsoan t level~1 m a ct'>hopti woaddr a heh th x . F. utagaficaon o dep thaas y-key'>-d finbe(d ~ nlyntefweass='citpt abo . Gn cnya protolasanwi foe ss='php s uapred dycapred allow an class='bib-entry-val'>Rus-label itknt auqutagaficaon o dep thaas y-key'> an-loicript . Buil icrime[BMLFMsan class='bis'>+ tefwead finbt-loni c p semi-ss='ph evftil'>[BMLFMsan class='bis'>+17hequili wi ct'>hs leasl shstne s tomeor-d bat a to cpp itQe> author = < rt=cleni/lpans='bib-entry-val'>BoDavlmcs11(2)-lB.UNCUR.17.6<28span> title = Brymgui-n, Rola TiGa'>-bat a Syne Ummels, MichaMSdf">PDShDiracibut auCtrolasl swirma dySales.a Sth cckd Syems. span>5397ic Proceeng fs ">PDShDiracibut auCtrolasl swirma jouan>s {KlLtibnb tt Mlasl s,el for="rtcav17.6-RCM pages = {32513-530span>1an class='bib-entry-key'> tinth = nuss=' {3261-75span>}, <:9ass='abofimixed-mtte tgyhequilibr a maaprspan>, }, 321004230/OASIcs.InNCUR.17.6<28span> abstract = {<5ass='abofimixed-mtte tgyhequilibr a an ttnsrcuraset ge'>/oplar n tigraph/We&hi c pentueat'>tic ank\)} laslapsoan t level~1 multiwi rma ,+Reh ths , BoOpenchi )a ci We&nhopevehat minasgtsss S p a auolrcript am evnnnnnnnnnnnnnnnnnnnnnn umcaonas ma toime> ci We&nhopevehat minat{\( auolrcript a winn s)maat'>ticl shstne a -ennss='bibtwo-wi r ( s finbel'>[BMLFMsan class='bis'>+ ) Wesusn meperssgtsss Scsurs/to de utagaficaon o dep thaas ttelel'>[B s)mh p< to csleut< \)} laslapsoan t level~1 m a ct'>hopti woaddr a heh th x . F. utagaficaon o dep thaas y-key'>-d finbe(d ~ nlyntefweass='citpt abo . Gn cnya protolasanwi foe ss='php s uapred dycapred allow an class='bib-entry-val'>Rus-label itknt auqutagaficaon o dep thaas y-key'> an-loicript . Buil icrime[BMLFMsan class='bis'>+ tefwead finbt-loni c p semi-ss='ph evftil'>[BMLFMsan class='bis'>+17hequili wi ct'>hs leasl'>[BMLFMsan class='bis'>+ t to cpp itQe> rt=uyer/'>Bouyer, Nicolas Nicolas  -lonng fs:

rt=uyer/'>Bouyer, sfr/span siftyle='aancoisn style='author-name'>NicolasNicolas tic a xts thTh>oretil jouan>s='n>}, KC >5 href="PDF/MyPapers/rtcsrcur17.6-DLi itt245()-Lnspan><4.12.0v0MS<4.12.0v0ass='abstract-list'>
Abstrai itt245()-Lnsss='ai itt245()-Lnspdiv class='abstract'>

ThSth cckd stems. nai ghee&hi c pt isttic a xts:s sem='phcs, n pe s ologic/ (i.e.,~iseirtic ss='php-entntrhg/1a es=\( tiiib7.6-RCp> Wesshow {\(ouautagaficaon o dep thaas istPDShDiracibut auCtrolasl swirma jouan>s {KlLtibnn>}, KC > pages = {3261-75span>}, <4 f{\"u}rhInrmal cakspan>}, 2017<6trn sty98-123ass='abofimixed-mtte tgyhequilibr a maaprspan>, }, 321004230/OASIcs cNCUR.17.6<28span> abstract = {<4.12.0v0ass='abofimixed-mtte tgyhequilibr a an ttnsrcuraset ge'>/oplar n tigraph/We&hi c pt isttic a xts:s sem='phcs, n pe s ologic/ (i.e.,~iseirtic ss='php-entntrhg/1a es=\( tiiib7\p Wesshow {\(ouautagaficaon o dep thaas isttic ss='php-ent; tnheti sRu cida pbib-entry-val'>TiGa'>-bat bclawea ikt sR cida quin KM1ri l'>[BMLFMsan class='bis'>+ ennss='bib . Our sfand bta biRe ~ge > libp}tobib-entry-val'>53226span>},at'>tic b , well wuin aat'>ticl shstne ss='php-a red sgt r memorfr/ss-sat'>tiii 7.6td>

Bouyer, fr/6-pn.univrp is13tyle=l'>rer-name'>r&er/~bof~bodnge style='firt-long'>NicolasNicolas rmal cacspan style='fi44,ages =le='fi47-61. Ltibniz-FORMATSm 5NCUR.17.6<28span> Bouyer, fr/an style='author-name'>NicolasNicolasNicolas tiii n pim'e} y-key'> -longg fs thTh>oretilstyle='fi44,ages =le='fi47-61. Ltibniz-AVOCSm 5NCUR.17.6<28span> volume =977mun-a red EASST~bodngenpeopl72. EuropeasiAssome't/mee c Softwand }, ci We&nhopevehat minTechnology='n class='PDFlink'>5 href="PDF/MyPapers/rtcsrcur17.6-DLavocs La5-BFMspan><5">6-RCM<5ass='abstract-list'>
Abstraavocs La5-BFMsss='aavocs La5-BFMspdiv class='abstract'>

ThSth cckd stems. nai gheTim'e} y-key'> -nd a dynig177.6-)} laslapsoan t level~1 m sm -lonreasogm -bout real utomata. ,ne)} laslapsoan t level~1 While( eem -nd i well-u stoodpbib-entry-val'>TiGa'>-bat y trhg/1aoffon a dynigwa acicripimicranrhetn cnhetiqusstis arin m ed tohercou S s red eh th{ric u ronenlarge ) ct'>h lyll auceteqe s= po'b)} laslapsoan t level~1 nfnewev>

Bouyer, fr/an style='author-name'>Nicolas, fr/an style='aug roor-name'>NicolasNicolas tiy l leas goal r)} laslapsoan t level~1 one-cou r s thTh>oretilstyle='fi44,ages =le='fi47-61. Ltibniz-FSTTCSm 5NCUR.17.6<28span>}, }, 5 href="PDF/MyPapers/rtcsrcur17.6-DLfsttcs La5-BGMspan>5 69">6-RCM5 69ass='abstract-list'>
Abstrassttcs La5-BGMsss='assttcs La5-BGMspdiv class='abstract'>

ThSth cckd stems. nai ghe,at'>tic b fpowerfup sp xt/csursylgt u an class='bib-entry-val'>Rtiii . In pt ofsn>ceteqe el ime> ci We&nhopevehat min b r one-cou r y-key'>st-lone ss='ph evftil'>[BMLFMsan class='bis'>+ ist[BMLFMsan class='bis'>+ f u . Wes wocrKMults:eqe 'httpsshowbib-entry-val'>TiGa'>-bat at, if cida ,sl liststracicriauq o-spalstutagaficaon o dep thaas B leas-goalgrobib-entry-val'>53226span>}ePDFlinkal..6em> R sogm -bout sat'>tiii : On )} laslapsoan t level~1 m -stracicris= . '><4). A f'httpsste>)} laslapsoan t level~1 tow ro s= vicri ccida , w en show {\( enjoyu w nic lL\iodamety p= perty..6-RCMspan>, author = {Bouyer, ssttcs La5-BGMNCUR.17.6<28span> title = G rooe = k n~iscyp)} laslapsoan t level~1 nrhetn ~bodngehDiracibut auCtrolasl swirma dySales.a Sth cckd Syems. span>tiy l leas goal r)} laslapsoan t level~1 one-cou r s odngehDiracibut auCtrolasl swirma ass='bib-entry-key'> tibooktle'> {stPrahladh RaSe nn , G. odngehDiracibut auCtrolasl swirma an="s{S}yne s to th{C}slelexu{P}aremets/r 35 <'abscronym ime ci We&nhopevehat min{T}span>{{S}, , publisher = {KlLtibniFSTTCS}'<5 odngehDiracibut auCtrolasl swirma ib-entry-key'> josers b {}, volume = { pages = volume = {{2017<6trn sty69-83ass='abofimixed-mtte tgyhequilibr a maaprspan>, }, 321004230/OASIcs cNCUR.17.6<28span> abstract = {5 69ass='abofimixed-mtte tgyhequilibr a an ttnsrcuraset ge'>/oplar n tigraph/W,at'>tic b fpowerfup sp xt/csursylgt u an class='bib-entry-val'>Rtiii . In pt ofsn>ceteqe el ime> ci We&nhopevehat min b r one-cou r y-key'>st-lone ss='ph evftil'>[BMLFMsan class='bis'>+ ist[BMLFMsan class='bis'>+ f u . Wes wocrKMults:eqe 'httpsshowbib-entry-val'>TiGa'>-bat at, if cida ,sl liststracicriauq o-spalstutagaficaon o dep thaas B leas-goalgrobib-entry-val'>53226span>}\emph{et~al.} R sogm -bout sat'>tiii : On )} laslapsoan t level~1 m -stracicris= . '><4). A f'httpsste>)} laslapsoan t level~1 tow ro s= vicri ccida , w en show {\( enjoyu w nic lL\iodamety p= perty..6td>

Bouyer, fr/an style='author-name'>Nicolas, fr/an style='aujaziriame'>NicolasNicolas oretilstyle='fi44,ages =le='fi47-61. Ltibniz-CONCURm 5NCUR.17.6<28span>}, }, 5 href="PDF/MyPapers/rtcsrcur17.6-DLma La5-BJMspan>5 311">6-RCM5 311ass='abstract-list'>
Abstrama La5-BJMsss='ama La5-BJMspdiv class='abstract'>

ThSth cckd stems. nai gheAnpeoplweighost-tim'e} ftim'e} .e.,~exectl shstne ss='ph evfti }, tiii n po b u cida hl autiii b ge 6/7.6-RCp> In pt ofsn>ceteqefiqutagafi rs < m ohow {\( oiofifa= a s u cida ime> ci We&nhopevehat min en weighost-tim'e} p. Th u cida tiii alon n fdiag [BMLFMsan class='bis'>+tempo l s. Wes en s= vidat-l }tobib-entry-val'>53226span>}ge 6 arbi ary+v> tiii . T al m evnt.ponset ate oan i ca> libp} a large sub weighost-tim'e} p,m evnt.ponset ate oan i calon 'httpsv> author = {Bouyer, ma La5-BJMNCUR.17.6<28span> title = Jaziri, namy n~iscyp)} laslapsoan t level~1 nrhetn ~bodngehDiracibut auCtrolasl swirma dySales.a Sth cckd Syems. span> tibooktle'> {}, 321004230/OASIcs226.5span> abstract = pan class='bib-entry-val'>maaprspan>, 5 311ass='abofimixed-mtte tgyhequilibr a an ttnsrcuraset ge'>/oplar n tigraph/WA~weighost-tim'e} ftim'e} .e.,~exectl shstne ss='ph evfti }, tiii n po b u cida hl autiii b ge 6/7\p In pt ofsn>ceteqefiqutagafi rs < m ohow {\( oiofifa= a s u cida ime> ci We&nhopevehat min en weighost-tim'e} p. Th u cida tiii alon n fdiag [BMLFMsan class='bis'>+tempo l s. Wes en s= vidat-l }tobib-entry-val'>53226span>}ge 6 arbi ary+v> tiii . T al m evnt.ponset ate oan i ca> libp} a large sub weighost-tim'e} p,m evnt.ponset ate oan i calon 'httpsv> +.6td> Patricia Bouyer, fr/an style='author-name'>Nicolas, fr/ tyle=' Nicolas, fr/an snsv.fr/>cerin.netr-name'>NicolasNicolas - /mee c s.e. ed dylasoretilstyle='fi44,ages =le='fi47-61. Ltibniz-FORMATSm 5NCUR.17.6<28span> 6-RCM abscronym tiey M} sm -lon{A} {\'E}Re{FORMATS}'<5>, publisher = {KlLtibniFORMATS}'< f{\"u}rhInrmal cakspan>}, josers b { volume = {539779span>}, pages = volume = {{2017<6trn sty60-75ass='abofimixed-mtte tgyhequilibr a maaprspan>, }, 321004230/OASIcs226.5span> abstract = pan class='bib-entry-val'>maaprspan>, 6-RCM

Abstrag-loalf La5-BMRLLsss='ag-loalf La5-BMRLLspdiv class='abstract'>

ThSth cckd stems. nai gheTwo-wi rss='ph evfti zero-sum bs= vidat-bib-entry-val'>TiGa'>-bat n>177toh zi s .e.,bib-entry-val'>TiGa'>-bat Synss Se u r='pees ci We&nhopevehat minCM53226span>}opti zi -319-ru a gen i s ci We&nhopevehat minen icr s,+ ili o {\'E -seltohevoid runnicranrhetn cnhetiqusstis arinout en ic7.6-RCp> e&hi c a ge-en ic em>ime> ci We&nhopevehat min ,+ ili goalgip}to}opti zi -319-ru ime> ci We&nhopevehat minC gen c arcu uaprid en ic7 Wesshow {\( s. Unrmatunioely,oise rma bje vfti ises n> lia red ,m evnt.ponset ate oan i calon ikt yield b t sre19 necsursu .e.,bib-entry-val'>TiGa'>-bat S=' s ma cls i ltrar>&capf~bodngecoNPcalon ileola a s. Unrmatunioely,oise rmahardRselsolvicrimeas-payofon ,+alonw eea'-entrbib-entry-val'>TiGa'>-bat at memorfr/ss-sat'>tiii TiGa'>-bat e a ge-en ic . l ma ta rcri arcu uapridime> ci We&nhopevehat minen icr.e., S='def bi b unds a lo utos:( s. Unrmatunioely,oise rmacor spocis o}opar>TiGa'>-bat b unds alonmemorfcrKquir b7.6-RCMspan>, author = {Bouyer, g-loalf La5-BMRLLNCUR.17.6<28span> title = n~iscypanrhetn Rgtdour,m evnt.ponset ate oan i cMickael Larsen, Kim Guld pa'nd Laursen,m evnt.ponset ate oan i cSim <~bodngehDiracibut auCtrolasl swirma dySales.a Sth cckd Syems. span> tibooktle'> { rza, Javi}, 2017<6trn sty1-15ass='abofimixed-mtte tgyhequilibr a maaprspan>, }, 321004230/OASIcs226.5span> abstract = 2017<6trn sty1cl4204/EPTCS.193.1ass='abofimixed-mtte tgyhequilibr a an ttnsrcuraset ge'>/oplar n tigraph/WTwo-wi rss='ph evfti zero-sum bs= vidat-bib-entry-val'>TiGa'>-bat n>177toh zi s .e.,bib-entry-val'>TiGa'>-bat Synss Se u r='pees ci We&nhopevehat minCM53226span>}opti zi -319-ru a gen i s ci We&nhopevehat minen icr s,+ ili o {\'E -seltohevoid runnicranrhetn cnhet'>53226span>}out en ic7\p e&hi c \emph{a ge-en ic}ime> ci We&nhopevehat min ,+ ili goalgip}to}opti zi -319-ru ime> ci We&nhopevehat minC gen c arcu uaprid en ic7 Wesshow {\( s. Unrmatunioely,oise rma bje vfti ises n> lia red ,m evnt.ponset ate oan i calon ikt yield b t sre19 necsursu .e.,bib-entry-val'>TiGa'>-bat S=' s ma cls i ltrar>TiGa'>-bat at memorfr/ss-sat'>tiii TiGa'>-bat e a ge-en ic . l ma ta rcri arcu uapridime> ci We&nhopevehat minen icr.e., S='def bi b unds a lo utos:( s. Unrmatunioely,oise rmacor spocis o}opar>TiGa'>-bat b unds alonmemorfcrKquir b7.6td>

Bouyer, sfr/an si \xe='auNicolas, fr/ tyle=' NicolasNicolas ud~bodngenpeople.irisa.fr/Nicolas.Sangoierni/lpan style='firn dySales.a Sth cckd g-loalf La5-LMS class<28span>ATL<28span>oretilstyle='fi44,ages =le='fi47-61. Ltibniz-G-loALFm 5NCUR.17.6<28span> volume = {TiGa'>-bat v17.6-RCM5 href="PDF/MyPapers/rtcsrcur17.6-DLg-loalf La5-LMSspan>6-RCM
Abstrag-loalf La5-LMSsss='ag-loalf La5-LMSspdiv class='abstract'>

ThSth cckd stems. nai gheAlspan>tiyl shstne el exes (<28span>ATL<28span>sat'>tiy ss='php-ynC em>,aoffonm - dynifiqutagafi rs < m wa ex essi19 botr i a or red -lo a a umes m evnt.ponset ate oan i cbetwee TiGa'>-bat e-ea'td /lpc fdes ra fe>17, bu ikt quickly leois o}u cida anrhetn cnhetiqusstis arin \xt/csursfa= . In pt ofsn>ceteqe uniss S.6em> in itth td bs=rv red e( ili loanrhetn cnhetiqusstis arinTi bct'>h e-e bs=rv red ) p es=rv an class='bib-entry-key'> cida n c l liststracicria= , nm.6-)} laslapsoan t level~1 ex essive l s <28span>ATL<28span>, author = {Bouyer, g-loalf La5-LMSNCUR.17.6<28span>Lar ssloie, F/sn{\c c}ois n~iscypanrhetn bib-entry-val'>TiGa'>-bat vangoier, Aan>ud~bodngehDiracibut auCtrolasl swirma dySales.a Sth cckd Syems. span> tibooktle'> { rza, Javi}, 2017<6trn sty43-57ass='abofimixed-mtte tgyhequilibr a maaprspan>, }, 321004230/OASIcs226.5span> abstract = lume = {/oplar n tigraph/WAlspan>tiyl shstne el exes ({{\(\ exesf{ATL}_{\ exesf{sc}}\)}})-i lanrhetn cnhetiqusstis arinTowerfup ss Se ismRtiy ss='php-ynC},aoffonm - dynifiqutagafi rs < m wa ex essi19 botr i a or red -lo a a umes m evnt.ponset ate oan i cbetwee TiGa'>-bat e-ea'td /lpc fdes ra fe>17, bu ikt quickly leois o}u cida anrhetn cnhetiqusstis arin \xt/csursfa= . In pt ofsn>ceteqe h e-e bs=rv red ) p es=rv an class='bib-entry-key'> cida n c l liststracicria= , nm.6-)} laslapsoan t level~1 ex essive l s eref='http:/sle=adrs nlenstCLM<28span>+.6td> Patricia Bass='bolas, fr/ ub.ist.ac.at/~kc spajeer-name'>hane~bodngenpeople.irisa.fr/Nicolas.La.6-tun, fr/ tyle=' Nicolas, sfr/an stii.rwth-aastrn.de/en/mitarbetrar/13-mitarbetrar/a= fessan>n/7-wolfg-l9- hkeys.html-name'>TiGa'>-bat vemina'PDFlin15061) thTh>oretil jouan>l-nDagstuhl Repo t/~bodngenpeopl5(2):1-25. Leibniz-Z}, 5 href="PDF/MyPapers/rtcsrcur17.6-DLdagrep5(2)-CLMTspan>6-RCM

Abstradagrep5(2)-CLMTsss='adagrep5(2)-CLMTspdiv class='abstract'>

ThSth cckd stems. nai gheIn pt ofrepo t, progr , es=ar su ,+alom evnt.ponset ate oan i crKMultsn c Dagstuhl vemina'PDFlin15061m evnt.ponset ate oan i c"Non-Zero-Sum-G st-lonC " wip-describ'ee)} laslapsoan t level~1 T arean c non-zero-sum bis add ess6/ti lanrhetn ccccccccccccccccccwidatsgt e c top s: multi-wi r ,m evnt.ponset ate oan i cparphpa- bs=rv red e ,+ss='ph evfti m ,m evnt.ponset ate oan i calo–-mdash;a7.6-DLMa sp ci We&nhopevehat minengineonm (fup=rvisorfc )7.6-RCMspan>, author = {Bouyer, dagrep5(2)-CLMT.5span> dySales.a Sth cckd Syems. span>TiGa'>-bat vemina'~15061) odngehDiracibut auCtrolasl swirma ass='bib-entry-key'> tibooktle'> {hanem evnt.ponset ate oan i calonn~iscypanrhetn Thkeys, Wolfg-l9~bodngehDiracibut auCtrolasl swirma an="s{S}yne s to th{C}slelexu{P}aremetNon-Zero-Sum-G st-lonC ({D}agstuhlbib-entry-val'>TiGa'>-bat vemina'~15061) odngehDiracibut auCtrolasl swirma ib-entry-key'> josers b {}, KlLtibnDagstuhl Repo t/~bodnge='bib-entry-key'> pages = volume = {2017<6trn sty1-25ass='abofimixed-mtte tgyhequilibr a maaprspan>, }, 321004230/OASIcsjun.5span> abstract = pan class='bib-entry-val'>maaprspan>, }, maaprspan>, <= ps.dagstuhl.de/opus/ l exee/an /5042ni/lpanofimixed-mtte tgyhequilibr a an ttnsrcuraset ge'>/oplar n tigraph/WIn pt ofrepo t, progr , es=ar su ,+alom evnt.ponset ate oan i crKMultsn c Dagstuhl vemina'~15061m evnt.ponset ate oan i c{"}Non-Zero-Sum-G st-lonC {"} wip-describ'ee)} laslapsoan t level~1 T arean c non-zero-sum bis add ess6/ti lanrhetn ccccccccccccccccccwidatsgt e c top s: multi-wi r ,m evnt.ponset ate oan i cparphpa- bs=rv red e ,+ss='ph evfti m ,m evnt.ponset ate oan i calo---as~a sp ci We&nhopevehat minengineonm (fup=rvisorfc )7.6td>

/oplnew span 4le=hyle='author-name'> rphref='http:/sle=adrs nlenstBLM14>Patricia Bouyer, fr/an style='author-name'>Nicolas, fr/ tyle='sneaau.dk/~kglr-name'>NicolasNicolas, fr/ tyle=' ci We&nhopevehat minAy-key'a thTh>oretil jouan>l-nPynss Se Eoiof red odngenpeopl73:91-109. Elsevier, Mar PDFlink'>4 href="PDF/MyPapers/rtcsrcur17.6-DLpeva73()-BLMspan>3.11.002">6-RCM3.11.002ni/lpan style-list'>
Abstrapeva73()-BLMsss='apeva73()-BLMspdiv class='abstract'>

ThSth cckd stems. nai gheWe-i sregy''}nfnuss=' c a= nrelprid tobib-entry-val'>53226span>}in-loitt run weighost-tim'e} y-key'> (.e.,~ 53226span>}opesfa= fron liceteqe show {\( ci We&nhopevehat minis– .e.,~four o moipanrhetn cnhetiqusstis arinclocks7.6-RCp> Th s u cida nrKMult ss(u st-anrhetn ccccccccccccccccccTiGa'>-bat at th u ftirs tirsed lo ho'b}T= bib-entry-val'>TiGa'>-bat (i.e,tstracicri at lo henel ed run s resfyl shstne -3wer-b und el pa' t) wip-decida ime> ci We&nhopevehat minPSPACE..6-RCp> Fin l , w ss='ci( i c tobib-entry-val'>53226span>}multi-weighost-tim'e} y-key'>: - -anrhetn cccccccccccccccccc ur red , bu i - init crass= bib-entry-val'>TiGa'>-bat rema s cida (ityle='fPSPACE)7.6-RCMspan>, author = < rphclettnsrcuraset ge'>/opl>Bouyer, peva73()-BLMNCUR.17.6<28span> title = Larsen, Kim Guld pa'nd m evnt.ponset ate oan i cM~iscypanrhetn ~bodngehDiracibut auCtrolasl swirma dySales.a Sth cckd Syems. span> ci We&nhopevehat minAy-key'a odngehDiracibut auCtrolasl swirma ib-entry-key'> josers b {KlLtibnPynss Se Eoiof red odnge='bib-entry-key'> pages = volume = {{2017<6trn sty91-109ass='abofimixed-mtte tgyhequilibr a maaprspan>, {321004230/OASIcsmarNCUR.17.6<28span>maaprspan>, 3.11.002ni/lpanofimixed-mtte tgyhequilibr a an ttnsrcuraset ge'>/oplar n tigraph/WWe-i sregy''}nfnuss=' c a= nrelprid tobib-entry-val'>53226span>}in-loitt run weighost-tim'e} y-key'> (.e.,~ 53226span>}opesfa= fron liceteqe show {\( ci We&nhopevehat minis-- .e.,~four o moipanrhetn cnhetiqusstis arinclocks7\p Th s u cida nrKMult ss(u st-anrhetn ccccccccccccccccccTiGa'>-bat at th u ftirs tirsed lo ho'b}T= bib-entry-val'>TiGa'>-bat (i.e,tstracicri at lo henel ed run s resfyl shstne -3wer-b und el pa' t) wip-decida ime> ci We&nhopevehat minPSPACE.\p Fin l , w ss='ci( i c tobib-entry-val'>53226span>}multi-weighost-tim'e} y-key'>: - -anrhetn cccccccccccccccccc ur red , bu i - init crass= bib-----------------------rema s cida (it~PSPACE)7.6td>

rphref='http:/sle=adrs nlenstLM14>Patricia Bouyer, sfr/an si \xe='auNicolasNicolas, fr/ tyle=' oretil jouan>l-nL Me>Nids(el for="rtcav17.6-RCM4 href="PDF/MyPapers/rtcsrcur17.6-DLlmcs10(4)-LMspan>4">6-RCM4ni/lpan style-list'>
Abstralmcs10(4)-LMsss='almcs10(4)-LMspdiv class='abstract'>

ThSth cckd stems. nai gheW l it was f bi -319 ago,i - sed CTLanrhetn ccccccccccccccccccwi.,~ss='php-/csursf r a-keic s= po'isursu hl an class='bib-entry-------n hl au i c iid e sevely.nC icri wobib-entry-val'>53226span>}difronymt sema'phcs (depesdrcri it il s= po'isurs an class='bib-entry-key'> ss='php-/csursf/a> b o} -Kripke-eaaucsu e o obib-entry-val'>53226span>}itstu wrcdrcri re ), qeo h i c itstex essiven/ssbib-entry-val'>TiGa'>-bat (showrcri S rphcuapri at QCTLi incideu .e.,bib-entry-val'>TiGa'>-bat Mrs dic Second-Or L m.6-ab .,~sema'phcs) m evnt.ponset ate oan i cchact'>e ise heneltth x itstm -stracicrm evnt.ponset ate oan i calons resfia nT= , depesdrcriosipt nuss=')} laslapsoan t level~1 of-n srid a= po'isurs ss='php-ynC (showrcri h-ynar c . l re sema'phcs popuapris , author = < rphclettnsrcuraset ge'>/opl>Bouyer, lmcs10(4)-LMNCUR.17.6<28span>Lar ssloie, F/sn{\c c}ois n~iscypanrhetn ~bodngehDiracibut auCtrolasl swirma dySales.a Sth cckd Syems. span>l {KlLtibnL Me>Nids(el for="rtcav17.6-RCM pages = volume = {maaprspan>, {321004230/OASIcs cNCUR.17.6<28span>maaprspan>, 4ni/lpanofimixed-mtte tgyhequilibr a an ttnsrcuraset ge'>/oplar n tigraph/WW l it was f bi -319 ago,i - sed CTLanrhetn ccccccccccccccccccwi.,~ss='php-/csursf r a-keic s= po'isursu hl an class='bib-entry-------n hl au i c iid e sevely.nC icri wobib-entry-val'>53226span>}difronymt sema'phcs (depesdrcri it il s= po'isurs an class='bib-entry-key'> ss='php-/csursf/a> b o} -Kripke-eaaucsu e o obib-entry-val'>53226span>}itstu wrcdrcri re ), qe~i c itstex essiven/ssbib-entry-val'>TiGa'>-bat (showrcri S rphcuapri at QCTLi incideu .e.,bib-entry-val'>TiGa'>-bat Mrs dic Second-Or L m.6-ab .,~sema'phcs) m evnt.ponset ate oan i cchact'>e ise heneltth x itstm -stracicrm evnt.ponnnnnnnnnnnnnnnnnalons resfia nT= , depesdrcriosipt nuss=')} laslapsoan t level~1 of-n srid a= po'isurs ss='php-ynC (showrcri h-ynar c . l re sema'phcs popuapris

rphref='http:/sle=adrs nlenstSBM14>Patricia Bouyer, fr/ tyle=' Nicolas, fr/an style='author-name'>NicolasNicolas, fr/ tyle=' oretil jouan>l-nn>}, 4 01.002">6-RCM4 01.002ni/lpan style-list'>
Abstraieltt234()-SBMsss='aieltt234()-SBMspdiv class='abstract'>

ThSth cckd stems. nai gheWe f bnalons c nfnewev>

Bouyer, fr/an style='author-name'>Nicolas, fr/an style='aug rdor-name'>NicolasNicolas, fr/ tyle=' 4-BGM classQs='ph evfti \xt/csursf weighost-Kripkeoretilstyle='fi44,ages =le='fi47-61. Ltibniz-ATVA' 4ni/lpan.6<28span>4 href="PDF/MyPapers/rtcsrcur17.6-DLatvak'>4-BGMspan>6-RCM
Abstraatvak'>4-BGMsss='aatvak'>4-BGMspdiv class='abstract'>

ThSth cckd stems. nai gheEs='cim ss Se \xt/csursftechniqu. b o}hrs/ anrhetn cnhetiqusstis arinss='ph evfti asp tp, b .,~.6-at l lis alon-6-)} laslapsoan t level~1 propertii o}betstraced,s-selbeco - thy' an class='bib-entry-key'> es=ar top f r -ola twthyy s. Followrcr17nteqebs c l liststracicri-6-)} laslapsoan t level~1 (one-dim' sed al) weighost-Kripke-saaucsu es .e.,bib-entry-val'>TiGa'>-bat So'isu calonnegevfti weigho ,+alontempo l s. Unrmatunioely,oise rmaco pa' rcri tot alo/6-aC genweigho. Wpanrhetn cnhetiqusstis arinT= ve cida n in nlyaarcu uaprid weigho s. Unrmatunioely,oise rmaco pa' bi, . l allowrcr a ge-weighol shstne el pa' tp}a-31 alrK istu cida 7.6-RCMspan>, author = {Bouyer, atvak'>4-BGMNCUR.17.6<28span> title = G rdoe = k n~iscypanrhetn cnhetiqusstis arinnrhetn ~bodngehDiracibut auCtrolasl swirma dySales.a Sth cckd Syems. span> tibooktle'> {}, josers b {}, volume = { pages = volume = {{2017<6trn sty64-80ni/lpanofimixed-mtte tgyhequilibr a maaprspan>, {321004230/OASIcsnovNCUR.17.6<28span>maaprspan>, /oplar n tigraph/WEs='cim ss Se \xt/csursftechniqu. b o}hrs/ anrhetn cnhetiqusstis arinss='ph evfti asp tp, b .,~.6-at l lis alon-6-)} laslapsoan t level~1 propertii o}betstraced,s-selbeco - thy' an class='bib-entry-key'> es=ar top f r -ola twthyy s. Followrcr17nteqebs c l liststracicri-6-)} laslapsoan t level~1 (one-dim' sed al) weighost-Kripke-saaucsu es .e.,bib-entry-val'>TiGa'>-bat So'isu calonnegevfti weigho ,+alontempo l s. Unrmatuuuuuuuuuuuuuuuuco pa' rcri tot alo/6-aC genweigho. Wpanrhetn cnhetiqusstis arinT= ve cida n in nlyaarcu uaprid weigho s. Unrmatunioely,oise rmaco pa' bi, . l allowrcr a ge-weighol shstne el pa' tp}a-31 alrK istu cida 7.6td>

Bouyer, fr/an style='author-name'>Nicolas, fr/ tyle=' NicolasNicolas4-BMM classA grcri npeoplLTL thTh>oretilstyle='fi44,ages =le='fi47-61. Ltibniz-CONCUR' 4ni/lpan.6<28span>4 href="PDF/MyPapers/rtcsrcur17.6-DLma urk'>4-BMMspan>6-RCM
Abstrama urk'>4-BMMsss='ama urk'>4-BMMspdiv class='abstract'>

ThSth cckd stems. nai gheF6-at arcury''}n , author = {Bouyer, ma urk'>4-BMMNCUR.17.6<28span> title = n~iscypanrhetn bib-entry-val'>TiGa'>-bat M spplaacel, Raj~Mohan~bodngehDiracibut auCtrolasl swirma dySales.a Sth cckd Syems. span> tibooktle'> { pages = an="s{S}yne s to th{C}slelexu{P}aremets/r 25 <'<6)span>, publisher = {KlLtibniCONCUR}' 4 \"u}rhInrmal cakspan>}, josers b {}, volume = { pages = volume = {{2017<6trn sty266-280ni/lpanofimixed-mtte tgyhequilibr a maaprspan>, {321004230/OASIcs226.5span> abstract = lume = {/oplar n tigraph/WF6-at arcury''}n

Bouyer, fr/an style='author-name'>Nicolas, fr/ tyle=' NicolasNicolas, fr/an style='auda4-BMS classMixed Nash Equilibria el fo urr.6t G s thTh>oretilstyle='fi44,ages =le='fi47-61. Ltibniz-FSTTCS' 4ni/lpan.6<28span>}, }, 4 href="PDF/MyPapers/rtcsrcur17.6-DLfsttcsk'>4-BMSspan>4 351">6-RCM4 351ni/lpan style-list'>
Abstrafsttcsk'>4-BMSsss='afsttcsk'>4-BMSspdiv class='abstract'>

ThSth cckd stems. nai gheWebs c lixed-tecttegy Nash equilibria elbib-entry-val'>53226span>}multiwi rd>-ynminna< co urr.6t bwi d rsbib-entry-val'>53226span>}graphnteqi.,~-ynminal-rewardrcuyoff ( i ,m evnt.ponset ate oan i cabsorb/19 a wi ). Wpanrhetn cnhetiqusstis arinshow u cida n -anrhetn ccccccccccccccccccc pa' bi Nash equilibrium ( henel pa' tanrhetn cnhetiqusstis arinrequiricri at 31 wi rshould}ct'>hmaxim>pm evnt.ponset ate oan i ccuyoff)teqi.,~ nlyathre wi alon0/1-reward bib-entry-val'>TiGa'>-bat (i.e.,crK cha n bje vftis). Th s -sel o}beime> ci We&nhopevehat mincor=a ed qi.,~-h u cida nrKMult by Ummel bib-entry-val'>TiGa'>-bat alonWojtczak .6-aturn-bas6/t b requir b14m evnt.ponset ate oan i cci alongen rew rds. Oul s= -seloiriousbib-entry-val'>TiGa'>-bat isspa srecriel equ.6-es: (i)&nFlina &nFlinu cida n )} laslapsoan t level~1 - Nash equilibrium .e.,~ TiGa'>-bat (ii)&nFlina &nFlinu cida n -sbib-entry-val'>53226span>}(unc pa' bi) Nash equilibrium el co urr.6t anrhetn ccccccccccccccccccwi.,~-ynminal-rewardrcuyoff 7.6-RCMspan>, author = {Bouyer, fsttcsk'>4-BMSNCUR.17.6<28span> title = n~iscypanrhetn Stan,m evnt.ponset ate oan i cDaniel~bodngehDiracibut auCtrolasl swirma dySales.a Sth cckd Syems. span> tibooktle'> {, publisher = {KlLtibniFSTTCS}' 4 \"u}rhInrmal cakspan>}, josers b {}, volume = { pages = volume = {2017<6trn sty351-363ni/lpanofimixed-mtte tgyhequilibr a maaprspan>, {321004230/OASIcs cNCUR.17.6<28span>maaprspan>, 4 351ni/lpanofimixed-mtte tgyhequilibr a an ttnsrcuraset ge'>/oplar n tigraph/WWe-s c lixed-tecttegy Nash equilibria elbib-entry-val'>53226span>}multiwi rd>-ynminna< co urr.6t bwi d rsbib-entry-val'>53226span>}graphnteqi.,~-ynminal-rewardrcuyoff ( i ,m evnt.ponset ate oan i cabsorb/19 a wi ). Wpanrhetn cnhetiqusstis arinshow u cida n -anrhetn ccccccccccccccccccc pa' bi Nash equilibrium ( henel pa' tanrhetn cnhetiqusstis arinrequiricri at 31 wi rshould}ct'>hmaxim>pm evnt.ponset ate oan i ccuyoff)teqi.,~ nlyathre wi alon0/1-reward bib-entry-val'>TiGa'>-bat (i.e.,crK cha n bje vftis). Th s -sel o}beime> ci We&nhopevehat mincor=a ed qi.,~-h u cida nrKMult by Ummel bib-entry-val'>TiGa'>-bat alonWojtczak .6-aturn-bas6/t b requir b14m evnt.ponset ate oan i cci alongen rew rds. Oul s= -seloiriousbib-entry-val'>TiGa'>-bat isspa srecriel equ.6-es: (i)~a ~u cida n )} laslapsoan t level~1 - Nash equilibrium .e.,~ TiGa'>-bat (ii)~a ~u cida n -sbib-entry-val'>53226span>}(unc pa' bi) Nash equilibrium el co urr.6t anrhetn ccccccccccccccccccwi.,~-ynminal-rewardrcuyoff 7.6td>

Bouyer, fr/an style='author-name'>Nicolas, fr/ tyle=' NicolasNicolas, fr/ e srer.corr-name'>4-BMV classNash Equilibria el Sym'>-nam G scwi.,~P rph>pm evnt.ponset ate oan i cObs=rv red thTh>oretilstyle='fi44,ages =le='fi47-61. Ltibniz-SR' 4ni/lpan.6<28span>4 href="PDF/MyPapers/rtcsrcur17.6-DLsrk'>4-BMVspan>6-RCM
Abstrasrk'>4-BMVsss='asrk'>4-BMVspdiv class='abstract'>

ThSth cckd stems. nai gheWebi sregy''}nfl list.6-arepres=mtecrilargeime> ci We&nhopevehat minmultiwi r , s resfy-saa319 sym'>-nyl shstne p= pertii . Th s l list s lad multiwienelpii oobib-entry-val'>TiGa'>-bat al}aipna;aetd> wi wi el h s n aipna,+alom evnt.ponset ate oan i ccan-p rph>pl n bs=rv w at th ot il si doe)} laslapsoan t level~1 T ili.6-e,< -selp rph>p i>}, -ny el pa' tp, maki heneltt"r red oobib-entry-val'>TiGa'>-bat Nash equilibria difrhcua=7 Wesshow s bib-entry-val'>TiGa'>-bat u cida nrKMult ,+alon.6-ab unded-memanyl shstne tecttegii , w precisel nchact'>e ize heneltth x )} laslapsoan t level~1 of-cor="rm pu e Nash equilibria (.6-aque itevfti)} laslapsoan t level~1 obje vftis) < m lise.6-RCMspan>, author = {Bouyer, srk'>4-BMVNCUR.17.6<28span> title = n~iscypanrhetn V srer,m evnt.ponset ate oan i cS e ~bodngehDiracibut auCtrolasl swirma dySales.a Sth cckd Syems. span>-nam G scwi.,~P rph>pm evnt.ponset ate oan i cObs=rv red odngehDiracibut auCtrolasl swirma an="s{S}yne s to th{C}slelexu{P}aremets/r 2lon{<6)span>17nhop)} laslapsoan t level~1 ona{S}ecttegic {R}easo rcri({SR}' 4>, publisher = {KlLtibniSR}' 4 \"u}rhInrmal cakspan>}, volume = { pages = volume = {2017<6trn sty49-55ni/lpanofimixed-mtte tgyhequilibr a maaprspan>, {321004230/OASIcsmarNCUR.17.6<28span>maaprspan>, /oplar n tigraph/WWe-i sregy''}nfl list.6-arepres=mtecrilargeime> ci We&nhopevehat minmultiwi r , s resfy-saa319 sym'>-nyl shstne p= pertii . Th s l list s lad multiwienelpii oobib-entry-val'>TiGa'>-bat al}aipna;aetd> wi wi el h s n aipna,+alom eeeeeeeeeeeeeeeeeeeeeeeecan-p rph>pl n bs=rv w at th ot il si doe)} laslapsoan t level~1 T ili.6-e,< -selp rph>p i>}, -ny el pa' tp, maki heneltt"r red oobib-entry-val'>TiGa'>-bat Nash equilibria difrhcua=7 Wesshow s bib-entry-val'>TiGa'>-bat u cida nrKMult ,+alon.6-ab unded-memanyl shstne tecttegii , w precisel nchact'>e ize heneltth x )} laslapsoan t level~1 of-cor="rm pu e Nash equilibria (.6-aque itevfti)} laslapsoan t level~1 obje vftis) < m lise.6td>

+.6td> <14>Patricia Bouyer, fr/an style='audoyemr-name'>NicolasNicolas, fr/ tyle='cs.aau.dk/~kglr-name'>Nicolas, fr/ tyle=' NicolasNicolas4-DJLMS classSynch = azrcri ords .6-aweighost-and tim'e} y-key'> thTh>oretilstyle='fi44,ages =le='fi47-61. Ltibniz-FSTTCS' 4ni/lpan.6<28span>}, }, 4 href="PDF/MyPapers/rtcsrcur17.6-DLfsttcsk'>4-DJLMSspan>4 121">6-RCM4 121ni/lpan style-list'>
Abstrafsttcsk'>4-DJLMSsss='afsttcsk'>4-DJLMSspdiv class='abstract'>

ThSth cckd stems. nai gheT pro of-synch = azrcri y-key'> co panbeime> ci We&nhopevehat minqi.,~-h - ordi at semdp}a-l a-ynminna< -loitt} y-key'>,+ i.,~-h l shstne p= bercriNLOGSPACE-eltth tt..6-RCp> I sn>ce)} laslapsoan t level~1 we-c -synch = azrcr- ordiT= .6-aweighostbib-entry-val'>TiGa'>-bat alontim'e} y-key'>7 Wesc - e synch = azasursbib-entry-val'>53226span>}p= ines oiria tp}and eltbinated )} laslapsoan t level~1 se, cluim d>-ynminna< alonnon-d>-ynminna< )} laslapsoan t level~1 im'e} ndaweighost-ay-key'>,+synch = azasurs obib-entry-val'>53226span>}uniqu. lo/csursf i.,~pos( bl ndifronymt clock-ynminna< weighost-ay-key'>,+ TiGa'>-bat u r-en gy el pa' tpst-lonine3-EXPSPACE u rbib-entry-val'>53226span>}gen safety el pa' tp. F6-atim'e} y-key'>+ ci We&nhopevehat minPSPACE-eltth tt < erd>-ynminna< case, -loanrhetn cnhetiqusstis arinu cida < ernon-d>-ynminna< case7.6-RCMspan>, author = {Bouyer, fsttcsk'>4-DJLMSNCUR.17.6<28span>Doyem, Laur.6tt-lonJuhl, L bnalonLarsem, Kimanrhetn cnhetiqusstis arinGuldtectnd n~iscypanrhetn Sh imohamladi,m evnt.ponset ate oan i cMahs'> a hrehDiracibut auCtrolasl swirma ass='bib-entry-key'> tibooktle'> {, publisher = {KlLtibniFSTTCS}' 4 \"u}rhInrmal cakspan>}, josers b {}, volume = { pages = volume = {2017<6trn sty121-132ni/lpanofimixed-mtte tgyhequilibr a maaprspan>, {321004230/OASIcs cNCUR.17.6<28span>maaprspan>, 4 121ni/lpanofimixed-mtte tgyhequilibr a an ttnsrcuraset ge'>/oplar n tigraph/WT pro of-synch = azrcri y-key'> co panbeime> ci We&nhopevehat minqi.,~-h - ordi at semdp}a-l a-ynminna< -loitt} y-key'>,+ i.,~-h l shstne p= bercriNLOGSPACE-eltth tt.\p I sn>ce)} laslapsoan t level~1 we-c -synch = azrcr- ordiT= .6-aweighostbib-entry-val'>TiGa'>-bat alontim'e} y-key'>7 Wesc - e synch = azasursbib-entry-val'>53226span>}p= ines oiria tp}and eltbinated )} laslapsoan t leveeeeeee se, cluim d>-ynminna< alonnon-d>-ynminna< )} laslapsoan t level~1 im'e} ndaweighost-ay-key'>,+synch = azasurs obib-entry-val'>53226span>}uniqu. lo/csursf i.,~pos( bl ndifronymt clock-ynminna< weighost-ay-key'>,+ TiGa'>-bat u r-en gy el pa' tpst-lonine3-EXPSPACE u rbib-entry-val'>53226span>}gen safety el pa' tp. F6-atim'e} y-key'>+ ci We&nhopevehat minPSPACE-eltth tt < erd>-ynminna< case, -loanrhetn cnhetiqusstis arinu cida < ernon-d>-ynminna< case7.6td>

Bouyer, fr/ tyle=' NicolasNicolas, fr/ e srer.corr-name'>4-MV classSym'>-ny Reducsurs el n>}loitt}G scwi.,~Floittanrhetn ccccccccccccccccccB/sn hrcr.6thTh>oretilstyle='fi44,ages =le='fi47-61. Ltibniz-ATVA' 4ni/lpan.6<28span>4 href="PDF/MyPapers/rtcsrcur17.6-DLatvak'>4-MVspan>6-RCM
Abstraatvak'>4-MVsss='aatvak'>4-MVspdiv class='abstract'>

ThSth cckd stems. nai gheSym'>-ny reducsurs bct'>hl au appliid es='csivel )} laslapsoan t level~1 .6-at \xt/csursf }loitt-a*le='first-s well l crK l-tim' -loanrhetn cnhetiqusstis arinp= a a< -sy{\'E m lis-stracicr. I sn>ce)} laslapsoan t level~1 we-es='con e techniqu.b o}hrs/ i>}loitt-a53226span>}g scrsfgraphncwi.,~}loitt}b/sn hrcr+ ili *le='fir7.6-RCMspan>, author = {Bouyer, atvak'>4-MVNCUR.17.6<28span>n~iscypanrhetn V srer,cS e ~bodngehDiracibut auCtrolasl swirma dySales.a Sth cckd Syems. span>-ny Reducsurs el n>}loitt}G scwi.,~Floittanrhetn ccccccccccccccccccB/sn hrcr.6a hrehDiracibut auCtrolasl swirma ass='bib-entry-key'> tibooktle'> {}, josers b {}, volume = { pages = volume = {{2017<6trn sty281-296ni/lpanofimixed-mtte tgyhequilibr a maaprspan>, {321004230/OASIcsnovNCUR.17.6<28span>maaprspan>, /oplar n tigraph/WSym'>-ny reducsurs bct'>hl au appliid es='csivel )} laslapsoan t level~1 .6-at \xt/csursf }loitt-ace)} laslapsoan t level~1 we-es='con e techniqu.b o}hrs/ i>}loitt-a53226span>}g scrsfgraphncwi.,~}loitt}b/sn hrcr+ ili

+.6td> <14>Patricia BouyerNicolasNicolas, fr/an stifle='aulip r r-name'>NicolasNicolasNicolas, fr/an style='aufribourgr-name'>NicolasNicolas, fr/ tyle=' 4-SLSFM classfor=on.6t-Bas6/tA thTh>oretilstyle='fi44,ages =le='fi47-61. Ltibniz-RTCSA' 4ni/lpanilsEEE for=. Soc. Press, AugustPDFlink'>4 href="PDF/MyPapers/rtcsrcur17.6-DLrtcsak'>4-SLSFMspan>4 6910502">6-RCM4 6910502ni/lpan style-list'>
Abstrartcsak'>4-SLSFMsss='artcsak'>4-SLSFMspdiv class='abstract'>

ThSth cckd stems. nai gheFs Se '>-hods (e.g.-Tim'e}Ay-key'> raL bpr Hybri/)} laslapsoan t level~1 Ay-key'>)bcan-b usid o}n-hods i at th )} laslapsoan t level~1 a e more-espressive anlcess( nn I l shstne p pil . usiat ss Se ismn c L bpr Hybri/tAy-key'>)} laslapsoan t leveeeeeee o}enco - hi r hr schedulicr sy{\'E. I l shstne p rphcuapr, w l lista dyel' s=rv rfalgore.,m -loanrhetn cnhetiqusstis arin e task co t' bi wi., , rcri way th )} laslapsoan t leveeeeeeea sr of- e sy{\'E,+ us}enablecrielr=on.6t-bas6/ ci We&nhopevehat minm listacon e cida n rK cha bib-entry-val'>TiGa'>-bat alspysis .6-at casen piliod task . Them, weime> ci We&nhopevehat mincor=a e rKMult n ournm listag' stlcess( -hods i l shstne -ynm n rKM3uece ut aasurs. We furt il sres=mtl shstne -wo caseni c iis: aPDFlinelr=on.6tcwi.,~a

jref='http:/sle=adrs nlenstMar14>Patricia Bouyer, fr/ tyle=' }, 4 href="PDF/MyPapers/rtcsrcur17.6-DLercimnews97-Marspan>DOI: 10.1007/s1978-3-319-41528-4_28spae-list'>
Abstraercimnews97-Marsss='aercimnews97-Marspdiv class='abstract'> author = < rphcleclass='bib-entry-val'>Bouyer, ercimnews97-MarNCUR.17.6<28span>n~iscypanrhetn ~bodngehDiracibut auCtrolasl swirma dySales.a Sth cckd Syems. span>}, josers b {}, }, KlLtibnERCIM News~bodnge='bib-entry-key'> pages = volume = {{2017<6trn sty25-26ni/lpanofimixed-mtte tgyhequilibr a maaprspan>, {321004230/OASIcsaprNCUR.17.6<28span>an class='bib-entry-val'>maaprspan>, , fr/ercim-news.ercim.eu/en97e='e / eecassrecr-syn sazrcr-eltth x-sy{\'Es-usrcr-non-zero-sum-g s.6td>
new span 3le=hyle='author-name'>Bouyer, fr/an style='author-name'>Nicolas, fr/ tyle=' NicolasNicolas, fr/ tyle=' 3-BMS classRobustlWeighost-Tim'e}Ay-key'> -lonG s thTh>oretilstyle='fi44,ages =le='fi47-61. Ltibniz-FORMATS'13NCUR.17.6<28span>3 href="PDF/MyPapers/rtcsrcur17.6-DLf, 3-BMSspan>6-RCM
Abstraf, 3-BMSsss='af, 3-BMSspdiv class='abstract'>

ThSth cckd stems. nai gheWeighost-tim'e} y-key'>+es='con im'e} y-key'>+wi., ci We&nhopevehat mine sursf oirious quan61.ii . Al>Niug,pcrK cha nist cida (i l shstne polynomh>p s'f ) nat s l lis, beeltes)} laslapsoan t level~1 u cida rs .eighost-tim'e}g s. Th s sn>ce)} laslapsoan t level~1 i c iis-cost-optim>pcrK cha np= p}rsbib-entry-val'>53226span>}weighost-tim'e} y-key'>+along scu r-robust)} laslapsoan t level~1 i 53226span>}perturbasurs i 53226span>}co trollynC. We give a polynomh>p-s'f falgore.,m)} laslapsoan t level~1 .6-aweighost-tim'e} y-key'>st-lon e)} laslapsoan t level~1 u cida n cost-optim>pcrK cha nrsbib-entry-val'>53226span>}weighost-tim'e} , showrcr at t pro )} laslapppppppppppppppppprobustly u cida 7.6-RCMspan>, author = {Bouyer, f, 3-BMSNCUR.17.6<28span> title = n~iscypanrhetn Sankun,m evnt.ponsen t level~1 Ocan.6a hrehDiracibut auCtrolasl swirma dySales.a Sth cckd Syems. span> -lonG s a hrehDiracibut auCtrolasl swirma ass='bib-entry-key'> tibooktle'> { {\'E} ({FORMATS}'13>, publisher = {KlLtibniFORMATS}'13 \"u}rhInrmal cakspan>}, josers b {}, volume = { pages = volume = {{2017<6trn sty31-46ni/lpanofimixed-mtte tgyhequilibr a maaprspan>, 321004230/OASIcsaugNCUR.17.6<28span>maaprspan>, /oplar n tigraph/WWeighost-tim'e} y-key'>+es='con im'e} y-key'>+wi., ci We&nhopevehat mine sursf oirious quan61.ii . Al>Niug,pcrK cha nist cida (i l shsssssssssssssssssssssspolynomh>p s'f ) nat s l lis, beeltes)} laslapsoan t level~1 u cida rs .eighost-tim'e}g s. Th s sn>ce)} laslapsoan t level~1 i c iis-cost-optim>pcrK cha np= p}rsbib-entry-val'>53226span>}weighost-tim'e} y-key'>+along scu r-robust)} laslapsoan t level~1 i 53226span>}perturbasurs i 53226span>}co trollynC. We give a polynomh>p-s'f falgore.,m)} laslapsoan t level~1 .6-aweighost-tim'e} y-key'>st-lon e)} laslapsoan t level~1 u cida n cost-optim>pcrK cha nrsbib-entry-vaaaaaaaaaaaaaaaweighost-tim'e} , showrcr at t pro )} laslapppppppppppppppppprobustly u cida 7.6td>

Bouyer, sfr/an sirife='aufrancoislr-name'>NicolasNicolas, fr/ tyle=' 3-LM classS resfia n ATLcwi.,~aoretilstyle='fi44,ages =le='fi47-61. Ltibniz-GaloALF'13NCUR.17.6<28span>3 href="PDF/MyPapers/rtcsrcur17.6-DLgaloalfk'>3-LMspan>6-RCM
Abstragaloalfk'>3-LMsss='agaloalfk'>3-LMspdiv class='abstract'>

ThSth cckd stems. nai gheVirious es='csid e tempo l ATLbct'>)} laslapsoan t leveeeeeeea cthyl nl au ihy'oducedb o}espressnr p= pertii )} laslapsoan t level~1 of-multi-ur1nt-sy{\'E}. Amocr se, ATLsc+es='co )} laslapsoan t level~1 ATLcwi.,~a, S'http:or -quan61xt/csurs em> e)} laslapsoan t level~1 i cttegii . T ilinista pr .b o}pay .6-at r ime> ci We&nhopevehat minespressiven/ss-of- ese l : m lis-stracicri )} laslappppppppppppppppppnon-e 1ntaryst-lons resfia n )} laslappppppppppppppppppu cida 7.6-RCp> We i sn>ce at)} laslapsoan t level~1 i resfia n cida 53226span>}casi . T i m stlimpo talt 31 i c in a srr rcri obib-entry-val'>53226span>}turn-bas6/ em> g s. WePDFlin at cida )} laslappppppppppppppppppnlso holds .6-aco urr.6tng sci e nuss='i )} laslapsoan t leveeeeeeemotis availabl.b o}t ar1nts i b unded. Finally,bib-entry-vaaaaaaaaaaaaaaawePDFlin at a srr rcria53226span>}memanylessna, author = {Bouyer, galoalfk'>3-LMNCUR.17.6<28span>Laroussinie, F/sn{\c c}ois n~iscypanrhetn .6a hrehDiracibut auCtrolasl swirma dySales.a Sth cckd Syems. span> tibooktle'> {stTiziano odngehDiracibut auCtrolasl swirma an="s{S}yne s to th{C}slelexu{P}aremets/r 4 <'<6)span> mposiu )} laslapsoan t level~1 on {G} , A}y-key'>st{L} n, publisher = {KlLtibniGaloALF}'13 \"u}rhInrmal cakspan>}, volume = { pages = volume = {2017<6trn sty208-223ni/lpanofimixed-mtte tgyhequilibr a maaprspan>, 321004230/OASIcsaugNCUR.17.6<28span>{/oplar n tigraph/WVirious es='csid e tempo l ATLbct'>)} laslapsoan t leveeeeeeea cthyl nl au ihy'oducedb o}espressnr p= pertii )} laslapsoan t level~1 of-multi-ur1nt-sy{\'E}. Amocr se, ATLsc+es='co )} laslapsoan t level~1 ATLcwi.,~\emph{a ci We&nhopevehat minespressiven/ss-of- ese l : m lis-stracicri )} laslappppppppppppppppppnon-e 1ntaryst-lons resfia n )} laslappppppppppppppppppu cida 7\p We i sn>ce at)} laslapsoan t level~1 i resfia n cida 53226span>}casi . T i m stlimpo talt 31 i c in a srr rcri obib-entry-val'>53226span>}\emph{turn-bas6/} g s. We~ at cida )} laslappppppppppppppppppnlso holds .6-aco urr.6tng sci e nuss='i )} laslapsoan t leveeeeeeemotis availabl.b o}t ar1nts i b unded. Finally,bib-entry-vaaaaaaaaaaaaaaawe~ at a srr rcria53226span>}memanylessna

+.6td> <13>Patricia Bouyer, fr/ tyle=' NicolasNicolas, fr/an style='author-name'>Nicolas, fr/ tyle=' NicolasNicolas, fr/ ar1SynCostif.univ-mrse='aupierr.-alain.reyniename'>3-SBMR classRobustlCo trollyn Syn sa el Tim'e}Ay-key'> thTh>oretilstyle='fi44,ages =le='fi47-61. Ltibniz-CONCUR'13NCUR.17.6<28span>3 href="PDF/MyPapers/rtcsrcur17.6-DLco urk'>3-SBMRspan>6-RCM
Abstraco urk'>3-SBMRsss='aco urk'>3-SBMRspdiv class='abstract'>

ThSth cckd stems. nai gheWesc - e funda 1ntal pro of-Büchi)} laslappppppppppppppppppncceptalc i im'e} y-key'>+ t-probust+are-equippbi wi., >)} laslapsoan t leveeeeeeep a'>-niseong -bas6/ i eniseatim'e} y-key'>+ at are)} laslapppppppppppppppppprobustly co trolla .6-aso p a'>-tle wi., >)} laslapsoan t leveeeeeeesitthefgraph th anet el disurs, by showrcr eime> ci We&nhopevehat minequiaphym qi.,~-h -u apiliod ess(obib-entry-val'>53226span>} at s resfi qinnecriel disurs (apiliod )} laslappppppppppppppppppwa f bi -lonusid lienninedifronymt cl exef)} laslapsoan t leveeeeeee o}chact'>eniseacl g p ino na i im'e)} laslappppppppppppppppppny-key'>)7 West in show cida n-loanrhetn cnhetiqusstis arinPSPACE-eltth ttn/ss-of-ournp= 7.6-RCMspan>, author = {Bouyer, co urk'>3-SBMRNCUR.17.6<28span>Sankun, Ocan -lon title = n~iscyp a hrehDiracibut auCtrolasl swirma ass='bib-entry-key'> tibooktle'> {}, josers b {}, volume = { pages = volume = {2017<6trn sty546-560ni/lpanofimixed-mtte tgyhequilibr a maaprspan>, 321004230/OASIcsaugNCUR.17.6<28span>maaprspan>, /oplar n tigraph/WWesc - e funda 1ntal pro of-BoOpenchi)} laslappppppppppppppppppncceptalc i im'e} y-key'>+ t-probust+are-equippbi wi., >)} laslapsoan t leveeeeeeep a'>-niseong -bas6/ i eniseatim'e} y-key'>+ at are)} laslapppppppppppppppppprobustly co trolla .6-aso p a'>-tle wi., >)} laslapsoan t leveeeeeeesitthefgraph th anet el disurs, by showrcr eime> ci We&nhopevehat minequiaphym qi.,~-h -u apiliod ess(obib-entry-val'>53226span>} at s resfi qinnecriel disurs (apiliod )} laslappppppppppppppppppwa f bi -lonusid lienninedifronymt cl exef)} laslapsoan t leveeeeeee o}chact'>eniseacl g p ino na i im'e)} laslappppppppppppppppppny-key'>)7 West in show cida n-loanrhetn cnhetiqusstis arinPSPACE-eltth ttn/ss-of-ournp= 7.6td>

inviref='http:/sle=adrs nlenstBMS13>Patricia Bouyer, fr/an style='author-name'>Nicolas, fr/ tyle=' NicolasNicolas, fr/ tyle=' 3-BMS classRobustn/ss-i im'e} y-key'> thTh>oretilstyle='fi44,ages =le='fi47-61. Ltibniz-RP'13NCUR.17.6<28span>3 href="PDF/MyPapers/rtcsrcur17.6-DLrpk'>3-BMSspan>6-RCM
Abstrarpk'>3-BMSsss='arpk'>3-BMSspdiv class='abstract'>

ThSth cckd stems. nai gheI sn>ce we-survey

new span 2le=hyle='author-name'> rphref='http:/sle=adrs nlenstBMO<28span>+.6td> <12>Patricia Bouyer, fr/an style='author-name'>Nicolas, fr/ tyle=' NicolasNicolas, fr/an smpi-sws type~joelr-name'>NicolasNicolas, fr/an style='auphsame'>NicolasNicolas, fr/an scs tx.ac.uk/ tyle=/j s.wor ll/home.html-name'>oretil j3uenss='F6-Se A='e t n Car="rrcr a hrenpeopl24(4-6):595-607. Sp icrer-Verlag, JulyPDFlink'>2 href="PDF/MyPapers/rtcsrcur17.6-DLfac24(4-6)-BMOSWspan>2-0234-7">6-RCM2-0234-7ni/lpan style-list'>
Abstrafac24(4-6)-BMOSWsss='afac24(4-6)-BMOSWspdiv class='abstract'>

ThSth cckd stems. nai gheAnpeopleem>c anne mtd>ineniem> c st n a fintra)} laslapsoan t leveeeeeeeco trollynb oget il wi.,~a fifo}channe s; th )} laslapsoan t leveeeeeeeco trollyn can-read}mess from- e head} a)} laslapsoan t leveeeeeeec anne -lonwrtra}mess o}t taist - c anne e)} laslapsoan t level~1 I sn>ce we-focus nac anne mtd>inencwi., serti naerronC em>, i.e., mtd>inencel whos )} laslapsoan t leveeeeeeechanne s}mess can-spo t'neously n> . We)} laslapsoan t leveeeeeeeco - e inoiria p= :n ais a givesime> ci We&nhopevehat min serti nac anne mtd>ine ct'>hau ihfintra)} laslapsoan t leveeeeeeecor="r>53226span>}mess -3ss s. Wepnlso give a non-e 1ntary -3w rbib-entry-val'>53226span>}b und .6-at inoiria p= cu r- )} laslappppppppppppppppppa srr rrs. Finally,+usrcr e previous rKMult, weime> ci We&nhopevehat minshow ( e i resfia np= c.6-at safe )} laslappppppppppppppppppfrag 1ntt M>-nic Tempo L )} laslappppppppppppppppppnon-e 1ntary7.6-RCMspan>, author = < rphcleclass='bib-entry-val'>Bouyer, fac24(4-6)-BMOSWNCUR.17.6<28span> title = n~iscypanrhetn Ouakninep}, josers b {}, KlLtibnF6-Se A='e t n Car="rrcr a hre='bib-entry-key'> pages = volume = {volume = {2017<6trn sty595-607ni/lpanofimixed-mtte tgyhequilibr a maaprspan>, {321004230/OASIcsjulNCUR.17.6<28span>maaprspan>, 2-0234-7ni/lpanofimixed-mtte tgyhequilibr a an ttnsrcuraset ge'>/oplar n tigraph/WA~\emph{c anne mtd>ine} c st n a fintra)} laslapsoan t leveeeeeeeco trollynb oget il wi.,~a fifo}channe s; th )} laslapsoan t leveeeeeeeco trollyn can-read}mess from- e head} a)} laslapsoan t leveeeeeeec anne -lonwrtra}mess o}t taist - c anne e)} laslappppppppppppppppppI sn>ce we-focus nac anne mtd>inencwi.,inencel whos )} laslapsoan t leveeeeeeechanne s}mess can-spo t'neously n> . We)} laslapsoan t leveeeeeeeco - e inoiria p= :n ais a givesime> ci We&nhopevehat min serti nac anne mtd>ine ct'>hau ihfintra)} laslapsoan t leveeeeeeecor="r>53226span>}mess -3ss s. Wepnlso give a non-e 1ntary -3w rbib-entry-val'>53226span>}b und .6-at inoiria p= cu r- )} laslappppppppppppppppppa srr rrs. Finally,+usrcr e previous rKMult, weime> ci We&nhopevehat minshow ( e i resfia np= c.6-at safe )} laslappppppppppppppppppfrag 1ntt M>-nic Tempo L )} laslappppppppppppppppppnon-e 1ntary7.6td>

a href='http:/sle=adrs nlenstBBM<28span>+.6td> <12>Patricia Bouyer, fr/an style='author-name'>Nicolas, sfr/an scs tx.ac.uk/ tyle=/romain.brenguiename'>Nicolas, fr/ tyle=' NicolasNicolas2-BBMU classCo urr.6tng scwi.,~or id objervft s thTh>oretilstyle='fi44,ages =le='fi47-61. Ltibniz-FoSSaCS' 2ni/lpan.6<28span>2 href="PDF/MyPapers/rtcsrcur17.6-DLf3ssacsk'>2-BBMUspan>6-RCM
Abstraf3ssacsk'>2-BBMUsss='af,ssacsk'>2-BBMUspdiv class='abstract'>

ThSth cckd stems. nai gheWe c -co urr.6tng scplayid onfgraphs, i l shstne ch eachcplayir -sela qua avft (e.re)} laslapsoan t level~1 rK cha nrr-Büchi) objervft sst-lona)} laslappppppppppppppppppp eor - nat ese objervft s (.6-a sta th )} laslapsoan t leveeeeeeecounticr or , e e ai isn o}maximis th )} laslapsoan t leveeeeeeenuss='i objervft s at are fulfillyd)7.6-RCp> We)} laslapsoan t level~1 i udy -wo funda 1ntal pro s < ataphu p= em>, ch+ai s at cidrcr ci We&nhopevehat minpayoff; (2)PDFlin eem>Nashnequilibrhum p= em>,l shstne e e we-walt o} cide--h -iNashime> ci We&nhopevehat minequilibrhum (pos( bly wi., >iel disurs nat eime> ci We&nhopevehat minpayoffs)7 Weschact'>eniseath glineltth x1.ii i )} laslapsoan t leveeeeeeet ese pro s .6-as re valt p eor sst-lo)} laslapsoan t level~1 i kindsi objervft s7.6-RCMspan>, author = {Bouyer, f,ssacsk'>2-BBMUNCUR.17.6<28span> title = /renguien, Romain n~iscyp tibooktle'> {, publisher = {KlLtibniFoSSaCS}' 2 \"u}rhInrmal cakspan>}, josers b {}, volume = { pages = volume = {2017<6trn sty301-315ni/lpanofimixed-mtte tgyhequilibr a maaprspan>, {321004230/OASIcsmarNCUR.17.6<28span>maaprspan>, /oplar n tigraph/WWesc -co urr.6tng scplayid onfgraphs, i l shstne ch eachcplayir -sela qua avft (e.re)} laslapsoan t level~1 rK cha nrr-BoOpenchi) objervft sst-lona)} laslappppppppppppppppppp eor - nat ese objervft s (.6-a sta th )} laslapsoan t leveeeeeeecounticr or , e e ai isn o}maximis th )} laslapsoan t leveeeeeeenuss='i objervft s at are fulfillyd)7\p We)} laslapsoan t level~1 i udy -wo funda 1ntal pro s < ateniseath glineltth x1.ii i )} laslapsoan t leveeeeeeet ese pro s .6-as re valt p eor sst-lo)} laslapsoan t level~1 i kindsi objervft s7.6td>

a href='http:/sle=adrs nlenstBLM12>Patricia Bouyer, fr/an style='author-name'>Nicolas, fr/ tyle='cs.aau.dk/~kglr-name'>NicolasNicolas, fr/ tyle=' 2-BLM classL3w r-B und fo a thTh>oretilstyle='fi44,ages =le='fi47-61. Ltibniz-QEST' 2ni/lpan.6cur17.6-DLM128-137ilsEEE for=. Soc. Press, Septass='PDFlink'>2 href="PDF/MyPapers/rtcsrcur17.6-DLqestk'>2-BLMspan>2 28">6-RCM2 28ni/lpan style-list'>
Abstraqestk'>2-BLMsss='aqestk'>2-BLMspdiv class='abstract'>

ThSth cckd stems. nai gheWe int stigcse aenuss='i pro s laost-tobib-entry-val'>53226span>}ihfintra}runsi weighost-tim'e} y-key'>stsubjerv-tobib-entry-val'>53226span>}-3w r-b und co a wi., energy el a ci We&nhopevehat minshow ( e -u ihfintra)} laslapsoan t leveeeeeee-3w r-b und-co a wi., fourn6-amor'bibock 7.6-RCp> T )} laslappppppppppppppppppu cida nrKMult ss(umes a fixbi -lonknowbib-entry-val'>53226span>}ih1.i credtt. We show ( e laost-pro ofime> ci We&nhopevehat mine -u ih1.i credtt .6-aw ch+t e e ex-bib-entry-val'>53226span>}ist a fea( bl.brun is cida 53226span>}iht stigcse e oiria t-of- ese pro s e e onl )} laslappppppppppppppppppb unded-dury'urs}runsiare c ed, showrcr at)} laslapsoan t leveeeeeeet ispa srr rrs}maki i urn6-iginal pro )} laslapsoan t leveeeeeee cida author = {Bouyer, qestk'>2-BLMNCUR.17.6<28span> title = Larsen, Kim Gulda odngehDiracibut auCtrolasl swirma an="s{S}yne s to th{C}slelexu{P}aremets/r 9 <'<6)span>, publisher = {KlLtibniQEST}' 2 \"u}rhInrmal cakspan>}, josers b {{2017<6trn sty128-137ni/lpanofimixed-mtte tgyhequilibr a maaprspan>, {321004230/OASIcssepNCUR.17.6<28span>maaprspan>, 2 28ni/lpanofimixed-mtte tgyhequilibr a an ttnsrcuraset ge'>/oplar n tigraph/WWesint stigcse aenuss='i pro s laost-tobib-entry-val'>53226span>}ihfintra}runsi weighost-tim'e} y-key'>stsubjerv-tobib-entry-val'>53226span>}-3w r-b und co a wi., energy el a ci We&nhopevehat minshow ( e -u ihfintra)} laslapsoan t leveeeeeee-3w r-b und-co a wi., fourn6-amor'bibock 7\p T )} laslappppppppppppppppppu cida nrKMult ss(umes a fixbi -lonknowbib-entry-val'>53226span>}ih1.i credtt. We show ( e laost-pro ofime> ci We&nhopevehat mine -u ih1.i credtt .6-aw ch+t e e ex-bib-entry-val'>53226span>}ist a fea( bl.brun is cida 53226span>}iht stigcse e oiria t-of- ese pro s e e onl )} laslappppppppppppppppppb unded-dury'urs}runsiare c ed, showrcr at)} laslapsoan t leveeeeeeet ispa srr rrs}maki i urn6-iginal pro )} laslapsoan t leveeeeeee cida a href='http:/sle=adrs nlenstBMS12>Patricia Bouyer, fr/an style='author-name'>Nicolas, fr/ tyle=' NicolasNicolas, fr/ tyle=' 2-BMS classRobust rK cha ni im'e} y-key'>: af='httg -bas6/)} laslappppppppppppppppppn>

a href='http:/sle=adrs nlenstDLM12>Patricia BouyerNicolas, sfr/an si \xe='aufrancoislr-name'>NicolasNicolas, fr/ tyle=' 2-DLM classQuan61fiedf='httCTL: Expressives/ss-a< n listCtracicr thTh>oretilstyle='fi44,ages =le='fi47-61. Ltibniz-CONCUR' 2ni/lpan.6<28span>2 href="PDF/MyPapers/rtcsrcur17.6-DLco urk'>2-DLMspan>6-RCM
Abstraco urk'>2-DLMsss='aco urk'>2-DLMspdiv class='abstract'>

ThSth cckd stems. nai gheWhi tpwa f bi eopu ago,( e e sursf CTLl shstne i., quan61ficy'urs}ovyn --keicnp= posisurs ha )} laslappppppppppppppppppn hl au i c iio e suvely. fo a icri wobib-entry-val'>53226span>}difronymt i ynC o}t Kripke a53226span>}it u win tree),+we i udy it expressives/ss)} laslapppppppppppppppppp(showrcr el p rphcular (QCTL coincidencwi.,enize e cotth x1. nr it m lis-stracicr)} laslappppppppppppppppppp o , depen nat epnuss='i n sr6/)} laslappppppppppppppppppp= posisursspcquan61fiynC (showrcr at e)} laslappppppppppppppppppa ci We&nhopevehat mine p31 n.i hiyn r hy). Wepnlso show how es )} laslapsoan t leveeeeeeerKMultspn> lyn o}m liststracicriATL. nke tempo )} laslapsoan t leveeeeeeebogac/ .6-ag s..6-RCMspan>, author = {Bouyer, co urk'>2-DLMNCUR.17.6<28span>Da{~}C sta, Arn>ud Laroussinie, Fran{\c c}ois)} laslapppppppppppppppppp n~iscypanrhetn .6a hrehDiracibut auCtrolasl swirma dySales.a Sth cckd Syems. span> tibooktle'> {}, josers b {}, volume = { pages = volume = {2017<6trn sty177-192ni/lpanofimixed-mtte tgyhequilibr a maaprspan>, {321004230/OASIcssepNCUR.17.6<28span>maaprspan>, /oplar n tigraph/WWhi tpwa f bi eopu ago,( e e sursf CTLl shstne i., quan61ficy'urs}ovyn --keicnp= posisurs ha )} laslappppppppppppppppppn hl au i c iio e suvely. fo a icri wobib-entry-val'>53226span>}difronymt i ynC o}t Kripke a53226span>}it u win tree),+we i udy it expressives/ss)} laslapppppppppppppppppp(showrcr el p rphcular (QCTL coincidencwi.,enize e cotth x1. nr it m lis-stracicr)} laslappppppppppppppppppp o , depen nat epnuss='i n sr6/)} laslappppppppppppppppppp= posisursspcquan61fiynC (showrcr at e)} laslappppppppppppppppppa ci We&nhopevehat mine p31 n.i hiyn r hy). Wepnlso show how es )} laslapsoan t leveeeeeeerKMultspn> lyn o}m liststracicriATL. nke tempo )} laslapsoan t leveeeeeeebogac/ .6-ag s..6td>

+.6td> <12>Patricia Bouyer NicolasNicolas, fr/ tyle=' NicolasNicolas 2-SVMM classQueryicriTrajervoentrythrough n listCtracicr bas6/)} laslapppppppppppppppppp naTim'e Ay-key'> thTh>oretilstyle='fi44,ages =le='fi47-61. Ltibniz-SBBD' 2ni/lpan.6cur17.6-DLM33-40. Sociedade Bras leira de for="ra&cc l;ão,(Orvos='PDFlink'>2 href="PDF/MyPapers/rtcsrcur17.6-DLsbbdk'>2-SVMMspan>ce, ef='http= posenan expressiveaquery)} laslapsoan t leveeeeeeebangu o}s ha query we-wil )} laslapsoan t leveeeeeeeuse}m liststracicribas6/ o im'e} y-key'>st at can)} laslappppppppppppppppppbe perss Sed el polynkeisp im'. AsPDFlin m lis ci We&nhopevehat minp= posen o}use}UPPAALn oolst at canpbe mor'ime> ci We&nhopevehat mine p suveut or't ly,+bclawelapeecs'et at wil )} laslapsoan t leveeeeeeebe e17.6t .6-a urnn> /oplnew span 1le=hyle='authotry-val' rphref='http:/sle=adrs nlenstBFL<28span>+.6td> <11>Patricia Bouyer, fr/an style='author-name'>Nicolas, fr/an stix.polytechniquee='aLabo/Ulrich.FaNicolas, fr/ tyle='cs.aau.dk/~kglr-name'>NicolasNicolas, fr/ tyle=' style='firn j urnspanfommun1casurs t ACM~bodngenpeopl54(9):78-87. ACM Press, Septass='PDFlink'>1 href="PDF/MyPapers/rtcsrcur17.6-DLcacm54(9)-BFLMspan>6-RCM
Abstracacm54(9)-BFLMsss='acacm54(9)-BFLMspdiv class='abstract'>

ThSth cckd stems. nai gheT p o s tim'-depen 1nthbect'iorfi generals)} laslapppppppppppppppppp dyel'ac res ur-R lbocy'urs}i tp rphculars)} laslappppppppppppppppppppaapde many -seecssf mo n ltfe. Prkei1 n.ime> ci We&nhopevehat mine atthes ctn .rom-relia n effi17.6t use} )} laslappppppppppppppppppcommun1casurs res ur-Rs}i t-p elecommun1casurs)} laslappppppppppppppppppn twork to t lbocy'urs} tct'ks}i t-pco ti1 n. )} laslapsoan t leveeeeeeect lwaypn twork, .rom-sd> dulrcr e us )} laslappppppppppppppppppcom="r>, author = < rphclettnsrcuraset ge'>/opl>Bouyer, cacm54(9)-BFLMNCUR.17.6<28span> title = Fa s\"u}rhInrmal cakspan>}, josers b {}, KlLtibnfommun1casurs t ACM~bodnge='bib-entry-key'> pages = volume = {volume = {{2017<6trn sty78-87ni/lpanofimixed-mtte tgyhequilibr a maaprspan>, {321004230/OASIcssepNCUR.17.6<28span>maaprspan>, /oplar n tigraph/WT p o s tim'-depen 1nthbect'iorfi generals)} laslapppppppppppppppppp dyel'ac res ur-R lbocy'urs}i tp rphculars)} laslappppppppppppppppppppaapde many -seecssf mo n ltfe. Prkei1 n.ime> ci We&nhopevehat mine atthes ctn .rom-relia n effi17.6t use} )} laslappppppppppppppppppcommun1casurs res ur-Rs}i t-p elecommun1casurs)} laslappppppppppppppppppn twork to t lbocy'urs} tct'ks}i t-pco ti1 n. )} laslapsoan t leveeeeeeect lwaypn twork, .rom-sd> dulrcr e us )} laslappppppppppppppppppcom="r>

a href='http:/sle=adrs nlenstBBM<28span>+.6td> <11>Patricia Bouyer, fr/an style='author-name'>Nicolas, sfr/an scs.ox.ac.uk/ tyle=/romain.brenguiename'>Nicolas, fr/ tyle=' NicolasNicolasoretilstyle='fi44,ages =le='fi47-61. Ltibniz-FSTTCS' 1ni/lpan.6<28span>1 href="PDF/MyPapers/rtcsrcur17.6-DLfsttcsan 1-BBMUspan>1 375">6-RCM1 375ni/lpan style-list'>
Abstrafsttcsan 1-BBMUsss='afsttcsan 1-BBMUspdiv class='abstract'>

ThSth cckd stems. nai gheWe i udy t p o t e (-lo)} laslapsoan t level~1 com="r>53226span>}objervft s7 Fhttp,- in e objervft s enBüchi)} laslapsoan t level~1 co disurs nat epg ,+we ( e e )} laslappppppppppppppppppp o canpbe solved el polynkeisp im'. I a)} laslappppppppppppppppppaaco dtp rp,awelap dp urntechnique o}objervft sbib-entry-val'>53226span>}d f bi by}d spaei1 ac Büchi y-key'>st-lo)} laslapsoan t level~1 ( e p o t in becom sbib-entry-val'>53226span>}EXPTIME-eltth tt. Wep PSPACE-eltth tts/ss-.6-l shstne e case} e e Büchi y-key'> en1-weak..6-RCMspan>, author = {Bouyer, fsttcsan 1-BBMUNCUR.17.6<28span> title = /renguien, Romaint-lo n~iscypl shstne nrhetn p Ummels, Michael~bodngehDiracibut auCtrolasl swirma dySales.a Sth cckd Syems. span> tibooktle'> {, publisher = {KlLtibniFSTTCS}' 1 s\"u}rhInrmal cakspan>}, josers b {}, volume = { pages = volume = {{2017<6trn sty375-386ni/lpanofimixed-mtte tgyhequilibr a maaprspan>, {321004230/OASIcsdecNCUR.17.6<28span>maaprspan>, 1 375ni/lpanofimixed-mtte tgyhequilibr a an ttnsrcuraset ge'>/oplar n tigraph/WWesi udy t p o t e (-lo)} laslapsoan t level~1 com="r>53226span>}objervft s7 Fhttp,- in e objervft s enB{\"u}chi)} laslapsoan t level~1 co disurs nat epg ,+we ( e e )} laslappppppppppppppppppp o canpbe solved el polynkeisp im'. I a)} laslappppppppppppppppppaaco dtp rp,awelap dp urntechnique o}objervft sbib-entry-val'>53226span>}d f bi by}d spaei1 ac B{\"u}chi y-key'>st-lo)} laslapsoan t level~1 ( e p o t in becom sbib-entry-val'>53226span>}EXPTIME-eltth tt. Wep PSPACE-eltth tts/ss-.6-l shstne e case} e e B{\"u}chi y-key'> en1-weak..6td>

a href='http:/sle=adrs nlenstBLM<28span>+.6td> <11>Patricia Bouyer, fr/an style='author-name'>Nicolas, fr/ tyle='cs.aau.dk/~kglr-name'>Nicolas, fr/ tyle=' NicolasNicolas, fr/ tyle=' NicolasNicolas1-BLMST classTim'e} y-key'> canpalwayspbe mpde itthe 1nta thTh>oretilstyle='fi44,ages =le='fi47-61. Ltibniz-CONCUR' 1ni/lpan.6<28span>1 href="PDF/MyPapers/rtcsrcur17.6-DLco urk'>1-BLMSTspan>6-RCM
Abstraco urk'>1-BLMSTsss='aco urk'>1-BLMSTspdiv class='abstract'>

ThSth cckd stems. nai gheTim'e} y-key'> fallow a mp Sesucsp i 53226span>}digitsp iy{\'E},np= pertntrpp= ves-f6-Selly}o t-l shstne im'e} y-key'on mpypbe l stlatpitthe 1ntcsurs. Ilbib-entry-val'>53226span>}or - o}ensu e itthe 1nta , i veralan>

a href='http:/sle=adrs nlenstBMO<28span>+.6td> <11>Patricia Bouyer, fr/an style='author-name'>Nicolas, fr/ tyle=' NicolasNicolas wskini/lpan s='first-long'>NicolasNicolas1-BMOU classMeasu icriPpaeissives/ss- oretilstyle='fi44,ages =le='fi47-61. Ltibniz-ATVA' 1ni/lpan.6<28span>1 href="PDF/MyPapers/rtcsrcur17.6-DLatvak'>1-BMOUspan>6-RCM
Abstraatvak'>1-BMOUsss='aatvak'>1-BMOUspdiv class='abstract'>

ThSth cckd stems. nai gheWesi udy non spaei1 ac a tibooktle'> {}, josers b {}, volume = { pages = volume = {2017<6trn sty135-149ni/lpanofimixed-mtte tgyhequilibr a maaprspan>, {321004230/OASIcso UR.17.6<28span>maaprspan>, /oplar n tigraph/WWesi udy non spaei1 ac a1 href="PDF/MyPapers/rtcsrcur17.6-DLf6-Sessan 1-BMSspan>6-RCM

Abstraf6-Sessan 1-BMSsss='af6-Sessan 1-BMSspdiv class='abstract'>

ThSth cckd stems. nai gheTim'e} y-key'> engovynned}by -imp Sesucsp)} laslappppppppppppppppppaa53226span>}digitsp hardw enrs}w ch+the}m liss e)}}}}}}}}}}}}}}}}}}}}}}}}}etthe 1nted.pI PDFlinfarv, itPDFlinwa shown ( e p es1n )} laslappppppppppppppppppr ims='cisurss,+how }aSell ey mpypbe, mpy)} laslappppppppppppppppppyielo e rapbect'iour 7 T eraf6-e corr.cts/ss-p= ves)} laslapppppppppppppppppp n e f6-Sel}m list aesnnotpetthy corr.cts/ss- )} laslapppppppppppppppppp he repl iy{\'E..6-RCp> T p o robust)} laslappppppppppppppppppm lis-stracicrpwa t in denst-to circumv1nt )} laslapsoan t leveeeeeeeinc y. It c s el com="ricr n b und n I work,+we show (robust)} laslappppppppppppppppppm lis-stracicrpagainst i44,ages =le=mp a ωni/lpan-regular p= pertntr)} laslapsoan t leveeeeeee.6-atim'e} y-key'> canpb reducst-to st-loard)} laslappppppppppppppppppm lis-stracicrp tim'e} y-key'>stby}com="ricr nsime> ci We&nhopevehat minsdequas>hb und nbt epitt='cisurs7 T yielos a newime> ci We&nhopevehat minslgoenth .6-arobust m lis-stracicrp ime> ci We&nhopevehat mini44,ages =le=mp a ωni/lpan-regular p= pertntr,+w ch+ bo., optimsp)} laslapppppppppppppppppp-lonaphid .6-ageneralatim'e} y-key'>..6-RCMspan>, author = {Bouyer, f6-Sessan 1-BMSNCUR.17.6<28span> title = n~iscypanrhetn Sankun,)} laslappppppppppppppppppOcan.6a hrehDiracibut auCtrolasl swirma dySales.a Sth cckd Syems. span> v Pumprcr)}}}}}}}}}}}}}}}}}}}}}}}}}el fhannel M 1hin s odngehDiracibut auCtrolasl swirma ass='bib-entry-key'> tibooktle'> {}, josers b {}, volume = { pages = volume = {{2017<6trn sty97-112ni/lpanofimixed-mtte tgyhequilibr a maaprspan>, {321004230/OASIcssepNCUR.17.6<28span>maaprspan>, /oplar n tigraph/WTim'e} y-key'> engovynned}by -imp Sesucsp)} laslappppppppppppppppppaa53226span>}digitsp hardw enrs}w ch+the}m liss e)}}}}}}}}}}}}}}}}}}}}}}}}}etthe 1nted.pI ~farv, it~wa shown ( e p es1n )} laslappppppppppppppppppr ims='cisurss,+how }aSell ey mpypbe, mpy)} laslappppppppppppppppppyielo e rapbect'iour 7 T eraf6-e corr.cts/ss-p= ves)} laslapppppppppppppppppp n e f6-Sel}m list aesnnotpetthy corr.cts/ss- )} laaaaaaaaaaaaaaaaaaaaaa he repl iy{\'E.\p T p o robust)} laslappppppppppppppppppm lis-stracicrpwa t in denst-to circumv1nt )} laslapsoan t leveeeeeeeinc y. It c s el com="ricr n b und n canpb reducst-to st-loard)} laslappppppppppppppppppm lis-stracicrp tim'e} y-key'>stby}com="ricr nsime> ci We&nhopevehat minsdequas>hb und nbt epitt='cisurs7 T yielos a newime> ci We&nhopevehat minslgoenth .6-arobust m lis-stracicrp ime> ci We&nhopevehat min\(\omega\)-regular p= pertntr,+w ch+ bo., optimsp)} laslapppppppppppppppppp-lonaphid .6-ageneralatim'e} y-key'>..6td>

a href='http:/sle=adrs nlenstSBM11>Patricia Bouyer, fr/ tyle=' Nicolas, fr/an style='author-name'>NicolasNicolas, fr/ tyle=' thTh>oretilstyle='fi44,ages =le='fi47-61. Ltibniz-FSTTCS' 1ni/lpan.6<28span>1 href="PDF/MyPapers/rtcsrcur17.6-DLfsttcsan 1-SBMspan>1 90">6-RCM1 90ni/lpan style-list'>
Abstrafsttcsan 1-SBMsss='afsttcsan 1-SBMspdiv class='abstract'>

ThSth cckd stems. nai gheWe}d f bt-loni udy a new a>

Bouyer, fr/ tyle=' oretilstyle='fi44,ages =le='fi47-61. Ltibniz-SIES' 1ni/lpan.6cur17.6-DLM28-34ilsEEE for=. Soc. Press, JunePDFlink'>1 href="PDF/MyPapers/rtcsrcur17.6-DLsntran 1-Marspan>1 5953652">6-RCM1 5953652ni/lpan style-list'>
Abstrasntran 1-Marsss='asntran 1-Marspdiv class='abstract'>

ThSth cckd stems. nai gheWePDFlinreview i veralanseecssf robusts/ss- repl- im')} laslappppppppppppppppppsy{\'E},nnsd p es1nt rec1nt result nat eprobust)} laslappppppppppppppppppv&uuficy'urs} tim'e} y-key'>..6-RCMspan>, author = {Bouyer, sntran 1-MarNCUR.17.6<28span>n~iscypanrhetn .6a hrehDiracibut auCtrolasl swirma dySales.a Sth cckd Syems. span>, publisher = {KlLtibniSIES}' 1 s\"u}rhInrmal cakspan>}, josers b {}, 2017<6trn sty28-34ni/lpanofimixed-mtte tgyhequilibr a maaprspan>, {321004230/OASIcsjunNCUR.17.6<28span>maaprspan>, 1 5953652ni/lpanofimixed-mtte tgyhequilibr a an ttnsrcuraset ge'>/oplar n tigraph/WWe~review i veralanseecssf robusts/ss- repl- im')} laslappppppppppppppppppsy{\'E},nnsd p es1nt rec1nt result nat eprobust)} laslappppppppppppppppppv&uuficy'urs} tim'e} y-key'>..6td>

Bouyer, fr/ tyle=' 1 href="PDF/MyPapers/rtcsrcur17.6-DLhdran 1-Marspan>DOI: 10.1007/s1978-3-319-41528-4_28spae-list'>
Abstrahdran 1-Marsss='ahdran 1-Marspdiv class='abstract'> author = Bouyer, hdran 1-MarNCUR.17.6<28span>n~iscypanrhetn .6a hrehDiracibut auCtrolasl swirma dySales.a Sth cckd Syems. span>maaprspan>, {321004230/OASIcsaprNCUR.17.6<28span>{\'E}v.fe No-Sele+Sup{\'e}rieu e e Cachan, Fra6-RCMmaaprspan>, new span 0le=hyle='authotry-val' rphref='http:/sle=adrs nlenstBCM10>Patricia Bouyer, fr/an style='author-name'>NicolasNicolasNicolas, fr/ tyle=' ss=shf6-Sesursf-lonCom="r>0 href="PDF/MyPapers/rtcsrcur17.6-DLicom=208(2)-BCMspan>6-RCM
Abstraicom=208(2)-BCMsss='aicom=208(2)-BCMspdiv class='abstract'>

ThSth cckd stems. nai gheTPTLt-lonMTLp en wo-cess( ctim'e}ap surss)} laslapppppppppppppppppp PDFlinLTL.pI PDFlin s.Syn,+we e 20- -olo)} laslapsoan t level~1 conjecsu e (TPTLtisis-namvlypmor'}app essivecan.6em> b'}app ess'e)} laslappppppppppppppppppi PDFlinMTL.pMor'}generally,+we show (TPTLtf6-Sula )} laslappppppppppppppppppusrcr onlypmoda PDFlinF canpb tctnsly'ed iltoPDFlinMTL..6-RCMspan>, author = < rphc odngebib-entry-val'>Bouyer, icom=208(2)-BCMNCUR.17.6<28span> title = Cheaphiol, Fabname n~iscyp)} laslappppppppppppppppppnrhetn .6a hrehDiracibut auCtrolasl swirma dySales.a Sth cckd Syems. span>}, josers b {}, KlLtibnshf6-Sesursf-lonCom="r> pages = volume = { pages = nuss=' volume = {{2017<6trn sty97-116 s/lpanofimixed-mtte tgyhequilibr a maaprspan>, {321004230/OASIcsfebNCUR.17.6<28span>maaprspan>, /oplar n tigraph/WTPTLt-lonMTLp en wo-cess( ctim'e}ap surss)} laslapppppppppppppppppp ~LTL.pI ~ s.Syn,+we e 20- -olo)} laslapsoan t level~1 conjecsu e (TPTLtisis-namvlypmor'}app essive

+.6td> <10>Patricia Bouyer, fr/mp .u s.ac.be/mpef/spatbnahaye.html-name'>Nicolas, fr/a3.cctn.univ://rct eNicolas, sfr/sutes.googe='com/sutee-lsaulcer-name'>Nicolas, fr/ tyle=' NicolasNicolasan.6a href='http://people.irisa.frOreibani/lpan s='firn dySale/OASIcs.SynCojwcnan 0(861472)-BJLMO classUsicr n lis Ctracicr .6-aA0 href="PDF/MyPapers/rtcsrcur17.6-DLjwcnan 0(861472)-BJLMOspan>6-RCM
Abstrajwcnan 0(861472)-BJLMOsss='ajwcnan 0(861472)-BJLMOspdiv class='abstract'>

ThSth cckd stems. nai ghen lis stracicrPDFlin(MC)tisia f6-Sel}v&uuficy'ursNics wanted o}knowt etry-k isia>

a href='http:/sle=adrs nlenstBBM10>Patricia Bouyer, fr/an style='author-name'>Nicolas, sfr/an scs.ox.ac.uk/ tyle=/rkeyin.brengui-name'>NicolasNicolas, fr/ tyle=' oretilstyle='fi44,ages =le='fi47-61. Ltibniz-CONCUR' 0ni/lpan.6<28span>0 href="PDF/MyPapers/rtcsrcur17.6-DL>a curan 0-BBMspan>6-RCM
Abstra>a curan 0-BBMsss='a>a curan 0-BBMspdiv class='abstract'>

ThSth cckd stems. nai gheWep posenappan>{du e f6-{du e based} nat el shstne t level~1 cohtecuc'urs} anf tra >a curr1nt ga st-lon < l shstne generac chact'>erazy'urs} Nash equilibria in)} laslapppppppppppppppppp(possibly}ihf tra) >a curr1nt ga s. Aeopu t way,l shstne wePDFlinus urpchact'>erazy'urs} o}cor="rt Nashl shstne equilibria innf tra >a curr1nt ga s..6-RCMspan>, author = {Bouyer, >a curan 0-BBMNCUR.17.6<28span> title = Bnengui-n, Rkeyin n~iscyp)} laslappppppppppppppppppnrhetn .6a hrehDiracibut auCtrolasl swirma dySales.a Sth cckd Syems. span> tibooktle'> {}, josers b {}, volume = { pages = volume = {{2017<6trn sty192-206ni/lpanofimixed-mtte tgyhequilibr a maaprspan>, {321004230/OASIcssepNCUR.17.6<28span>maaprspan>, /oplar n tigraph/WWes posenappan>{du e f6-{du e based} nat el shstne t level~1 cohtecuc'urs} anf tra >a curr1nt ga st-lon < l shstne generac chact'>erazy'urs} Nash equilibria in)} laslapppppppppppppppppp(possibly}ihf tra) >a curr1nt ga s. Aeopu t way,l shstne we~us urpchact'>erazy'urs} o}cor="rt Nashl shstne equilibria innf tra >a curr1nt ga s..6td>

a href='http:/sle=adrs nlenstBBM10>Patricia Bouyer, fr/an style='author-name'>Nicolas, sfr/an scs.ox.ac.uk/ tyle=/rkeyin.brengui-name'>NicolasNicolas, fr/ tyle=' ve'>oretilstyle='fi44,ages =le='fi47-61. Ltibniz-FORMATS' 0ni/lpan.6<28span>0 href="PDF/MyPapers/rtcsrcur17.6-DLf6-Sessan 0-BBMspan>6-RCM
Abstraf6-Sessan 0-BBMsss='af6-Sessan 0-BBMspdiv class='abstract'>

ThSth cckd stems. nai gheWepi udy two-playerptim'e}ga sp e e objecsives)} laslapppppppppppppppppp wo-playerrp ennotpopposise. Wepfocus} nat el shstne t level~1 st-loardnnoturs} Nash equilibrium nsd p posena)} laslappppppppppppppppppaaentry ctnsf6-Sesurssas (builds wo-f tra)} laslapsoan t leveeeeeee uan-based}ga sp cla antim'e}ga ,p i., a} 'cisel shstne t level~1 corr.spon ym betw au Nash equilibria inat el shstne t level~1 origin>s innf >s ga s. T id spusp i.,)} laslapppppppppppppppppp-lnslgoenth o}cor="rt Nash equilibria in)} laslapppppppppppppppppptwo-playerptim'e}ga spf6-, author = {Bouyer, f6-Sessan 0-BBMNCUR.17.6<28span> title = Bnengui-n, Rkeyin n~iscyp)} laslappppppppppppppppppnrhetn .6a hrehDiracibut auCtrolasl swirma dySales.a Sth an class='bib-entry-key'>Com="ricr Equilibria innTwo-PlayerpTim'e G sl shstne {\tstrit{ve'}}~Turn-Based}F tra G s a hrehDiracibut auCtrolasl swirma ass='bib-entry-key'> tibooktle'> {}, , publisher = {KlLtibniFORMATS}' 0 s\"u}rhInrmal cakspan>}, josers b {}, volume = { pages = volume = {2017<6trn sty62-76ni/lpanofimixed-mtte tgyhequilibr a maaprspan>, {321004230/OASIcssepNCUR.17.6<28span>maaprspan>, /oplar n tigraph/WWesi udy two-playerptim'e}ga sp e e objecsives)} laslapppppppppppppppppp wo-playerrp ennotpopposise. Wepfocus} nat el shstne t level~1 st-loardnnoturs} Nash equilibrium nsd p posena)} laslappppppppppppppppppaaentry ctnsf6-Sesurssas (builds wo-f tra)} laslapsoan t leveeeeeee uan-based}ga sp cla antim'e}ga ,p i., a} 'cisel shstne t level~1 corr.spon ym betw au Nash equilibria inat el shstne t level~1 origin>s innf >s ga s. T id spusp i.,)} laslapppppppppppppppppp-lnslgoenth o}cor="rt Nash equilibria in)} laslapppppppppppppppppptwo-playerptim'e}ga spf6-

a href='http:/sle=adrs nlenstBFL<28span>+.6td> <10>Patricia Bouyer, fr/an style='author-name'>Nicolas, fr/an stix.polytechniquee='aLabo/Ulnamh.FaNicolas, fr/ tyle='cs.aau.dk/~kgleme'>NicolasNicolas, fr/ tyle=' p i., Observelsfu r-Eneyp )} laslappppppppppppppppppCo aoretilstyle='fi44,ages =le='fi47-61. Ltibniz-HSCC' 0ni/lpan.6cur17.6-DLM61-70. ACM Press, AprilPDFlink'>0 href="PDF/MyPapers/rtcsrcur17.6-DLhsccan 0-BFLMspan>6-RCM
Abstrahsccan 0-BFLMsss='ahsccan 0-BFLMspdiv class='abstract'>

ThSth cckd stems. nai gheI s.Syn,+we i udy one-cbock pnamed tim'e)} laslappppppppppppppppppny-key'api)-w ch+pnames canpgrow .6- l )} laslapppppppppppppppppp(6-RCM6-RCMdpNCUR.17/6-RCMdpNCUR.17/6-RCMs observel)} laslappppppppppppppppppvphuetisimaximized (-lo n ver goenhl low zero)..6-RCMspan>, author = {Bouyer, hsccan 0-BFLMNCUR.17.6<28span> title = FaTim'e Ay-key'>p i., Observelsfu r-Eneyp )} laslappppppppppppppppppCo a tibooktle'> { pages = an="s{S}yne s to th{C}slelexu{P}aremets/r 13., {<6)span>, publisher = {KlLtibniHSCC}' 0 s\"u}rhInrmal cakspan>}, josers b {{2017<6trn sty61-70ni/lpanofimixed-mtte tgyhequilibr a maaprspan>, {321004230/OASIcsaprNCUR.17.6<28span>maaprspan>, /oplar n tigraph/WI s.Syn,+we i udy one-cbock pnamed tim'e)} laslappppppppppppppppppny-key'api)-w ch+pnames canpgrow .6- l )} laslapppppppppppppppppp(\(\fct'{dp}{dt}=k\)) oriapeonentially)} laslapppppppppppppppppp(\(\fct'{dp}{dt}=kp\)),p i., disc inuouspupdates)} laslapppppppppppppppppp n edges. Wep posenEXPTIMEnslgoenth C o}d'ci es observel)} laslappppppppppppppppppvphuetisimaximized (-lo n ver goenhl low zero)..6td>

a href='http:/sle=adrs nlenstDLM10>Patricia Bouyerud> odnge>Nicolas, sfr/an sirife='aufra6-oisleme'>NicolasNicolas, fr/ tyle=' 0 href="PDF/MyPapers/rtcsrcur17.6-DLfsttcsan 0-DLMspan>clh20">6-RCMclh20ni/lpan style-list'>
Abstrafsttcsan 0-DLMsss='afsttcsan 0-DLMspdiv class='abstract'>

ThSth cckd stems. nai gheWesi udy the} lspan>ATL s/lpan)} laslapppppppppppppppppp-loyle='fi44,ages =le=mp '>ATL 28span>* odnge> We)}}}}}}}}}}}}}}}}}}}}}}}}}ellualy)} laslappppppppppppppppppi44,ages =le=mp '>ATL 28span>ATL 28span>28span>* odnge>ATL 28span>28span>* odnge>ATL 28span>ATL 28span>nas.Mark-playerp>a curr1nt ga tecuc'urer..6-RCMspan>, author = {Bouyer, fsttcsan 0-DLMNCUR.17.6<28span>Da{~}Cos'>, Aan>ud Laroussrcie, Fra6{\c c}oi})} laslapppppppppppppppppp-lo n~iscyppnrhetn .6a hrehDiracibut auCtrolasl swirma dySales.a Sth an class='bib-entry-key'>{ATL} i., a tibooktle'> {s Mahajan, Meena a hrehDiracibut auCtrolasl swirma an="s{S}yne s to th{C}slelexu{P}aremets/r 30., {C}a honym nm evnt.ponset ate oan i c{F} undesurssar {S}oftw en{T}echnologyt-lo)} laslapsoan t level~1 {T}h anet c{C}ar="rerp{S}17.6-R ({FSTTCS}' 0>, publisher = {KlLtibniFSTTCS}' 0 s\"u}rhInrmal cakspan>}, josers b {}, volume = { pages = volume = { pages = i {2017<6trn sty120-132ni/lpanofimixed-mtte tgyhequilibr a maaprspan>, {321004230/OASIcsd'cNCUR.17.6<28span>maaprspan>, clh20ni/lpanofimixed-mtte tgyhequilibr a an ttnsrcuraset ge'>/oplar n tigraph/WWesi udy the} lspan>ly)} laslapppppppppppppppppp\(\tstrsf{ATL}_{\tstrsf{sc}}\))} laslapppppppppppppppppp-lo~\(\tstrsf{ATL}_{\tstrsf{sc}}^{*}\), equally)} laslappppppppppppppppppapp essive:p-ly~f6-Sula)}}}}}}}}}}}}}}}}}}}}}}}}}el~\(\tstrsf{ATL}_{\tstrsf{sc}}^{*}\) canpb )} laslapppppppppppppppppptctnsly'ed ilto anpequiaph1ntpa.6- -siz )} laslapppppppppppppppppp\(\tstrsf{ATL}_{\tstrsf{sc}}\) f6-Sula. Despite}t el shstne t level~1 highpapp essives/ss- t eseplogacs,bwe at)} laslapppppppppppppppppp eypreeyin d'ci a by esignrcr}a)}}}}}}}}}}}}}}}}}}}}}}}}}treLtiy-key'a-based}slgoenth f6-a curr1nt ga tecuc'urer..6td>

a href='http:/sle=adrs nlenstHBM<28span>+.6td> <10>Patricia BouyerNicolas, fr/an style='author-name'>Nicolas, fr/ tyle=' Nicolas, fr/an smpi-sws type~joeleme'>NicolasNicolas, fr/an scs.ox.ac.uk/ tyle=/ja s.worr.ll/home.html-name'>0ni/lpan style='firn style='fi44,ages =le='fi47-61. Ltibniz-FSTTCS' 0ni/lpan.6<28span>0 href="PDF/MyPapers/rtcsrcur17.6-DLfsttcsan 0-HBMOWspan>cl308">6-RCMcl308~bodnge style-list'>
Abstrafsttcsan 0-HBMOWsss='afsttcsan 0-HBMOWspdiv class='abstract'>

ThSth cckd stems. nai gheAPDFlinfunde 1ntsp p o el n r ccar="resursf-lo)} laslappppppppppppppppppcor="resurs>s geomey'atisi o}d'spaei1 t epsign- )} laaaaaaaaaaaaaaaaaaaaaaaenth et papp essirssael rad s. He e wenc ∑<28span>28span>m>28span>X<28span> odnge>s nuss='syle='fi44,ages =le=mp '>A<28span> odnge,ai44,ages =le=mp '>C<28span> odnge,yle='fi44,ages =le=mp '>X<28span> odngen ItPDFlinhanhl au known f6-TC<28span>0ni/lpan sodngen T requi es severalpsignuficynt)} laslappppppppppppppppppdep 'urer from Blö r'sppolynomi - im')} laslappppppppppppppppppslgoenth as t e l rtc ccucially relntry nm evnt.ponset ate oan i cprimisives, such as gcdccar="resursf-lo binan )} laslapppppppppppppppppps ch, ( ennotpknown o}b )} laslappppppppppppppppppelyle='fi44,ages =le=mp '>TC<28span>0ni/lpan sodngen.6-RCMspan>, author = {Bouyer, fsttcsan 0-HBMOWNCUR.17.6<28span>Hu)spae = ul title = n~iscyp)} laslappppppppppppppppppnrhetn Ouaknrce, Jo{\"e}l Worr.ll, J s a hrehDiracibut auCtrolasl swirma dySales.a Sth an class='bib-entry-key'>Com="ricr R> tibooktle'> {s Mahajan, Meena a hrehDiracibut auCtrolasl swirma an="s{S}yne s to th{C}slelexu{P}aremets/r 30., {C}a honym nm evnt.ponset ate oan i c{F} undesurssar {S}oftw en{T}echnologyt-lo)} laslapsoan t level~1 {T}h anet c{C}ar="rerp{S}17.6-R ({FSTTCS}' 0>, publisher = {KlLtibniFSTTCS}' 0 s\"u}rhInrmal cakspan>}, josers b {}, volume = { pages = volume = { pages = i {2017<6trn sty308-316ni/lpanofimixed-mtte tgyhequilibr a maaprspan>, {321004230/OASIcsd'cNCUR.17.6<28span>maaprspan>, cl308~bodngeofimixed-mtte tgyhequilibr a an ttnsrcuraset ge'>/oplar n tigraph/WA~funde 1ntsp p o el n r ccar="resursf-lo)} laslappppppppppppppppppcor="resurs>s geomey'atisi o}d'spaei1 t epsign- )} laaaaaaaaaaaaaaaaaaaaaaaenth et papp essirssael rad s. He e wenc s nuss='s~\(A_i\), \(C_i\),~\(X_i\)n It~hanhl au known f6-P 17 , tyle='firn sEEE for=. Soc. Press, Septass='PDFlink'>0 href="PDF/MyPapers/rtcsrcur17.6-DL im'an 0-MWspan>cl4">6-RCMcl4~bodnge style-list'>

Abstra im'an 0-MWsss='a im'an 0-MWspdiv class='abstract'> author = {Bouyer, im'an 0-MWNCUR.17.6<28span>{/r 17., {<6)span>, publishass='bib-entry-key'> tibooktle'> { pages = an="s{S}yne s to th{C}slelexu{P}aremets/r 17., {<6)span>, publisher = {KlLtibniTIME}' 0 s\"u}rhInrmal cakspan>}, josers b {maaprspan>, {321004230/OASIcssepNCUR.17.6<28span>maaprspan>, cl4~bodngeofimixed-mtte tgyhequilibr a urs an class='bib-entry-val'>maaprspan>, , fr/ieeapelor=' eea typepel/ toc esult.jsp?)}}}}}}}}}}}}}}}}}}}}}}}}} eload=paue&isnuss='=5601852.6td>
new span09le=hyle='authotry-val'>a href='http:/sle=adrs nlenstBDL<28span>+.6td> <09>Patricia Bouyer, fr/mp eu s.ac.be/maefespatbrihaye.html-name'>Nicolasud> odnge>Nicolas, sfr/an sirife='aufra6-oisleme'>NicolasNicolas, fr/ tyle=' 6-RCM
Abstralfcsan09-BDLMsss='alfcsan09-BDLMspdiv class='abstract'>

ThSth cckd stems. nai gheWe ap d the} lspan>* odnge} i., ap-lo memory cohtect ts em>:( e f ttpl shstne t level~1 ap sirspmake}aa d ap sirspallows a We f ttpnc * odnge, G Logacp)} laslappppppppppppppppppS, author = {Bouyer, lfcsan09-BDLMNCUR.17.6<28span>/rihaye, {\ elax T }omr/ tnd Da{~}Cos'>, Aan>ud l shstne t level~1 Laroussrcie, Fra6{\c c}oi} -lo n~iscyppnrhetn .6a hrehDiracibut auCtrolasl swirma dySales.a Sth an class='bib-entry-key'>{ATL} i., S publishass='bib-entry-key'> tibooktle'> { publish an="s{S}yne s to th{C}slelexu{P}aremets/r {<6)span>, publisher = {KlLtibniLFCS}'09 s\"u}rhInrmal cakspan>}, josers b {}, volume = { pages = volume = { pages = i {2017<6trn sty92-106ni/lpanofimixed-mtte tgyhequilibr a maaprspan>, }, 321004230/OASIcsjanNCUR.17.6<28span>maaprspan>, /oplar n tigraph/WWesap d the} lspan>a d ap sirspallows a

a href='http:/sle=adrs nlenstBDM<28span>+.6td> <09>Patricia Bouyer, fr/an style='author-name'>Nicolas, sfr/mass='s.loen Nicolas, fr/ tyle=' NicolasNicolasultas.Markey='firn dySale/OASIcs.SynCo>a curan09-BDMR classMeasurrcr Ppaeissiv pel F tra G s thTh>oretilstyle='fi44,ages =le='fi47-61. Ltibniz-CONCUR'09NCUR.17.6<28span>a curan09-BDMRspan>6-RCM
Abstra>a curan09-BDMRsss='a>a curan09-BDMRspdiv class='abstract'>

ThSth cckd stems. nai gheI s.Syn,+we ap d the}cess(acsp noturs} )} laaaaaaaaaaaaaaaaaaaaaaaltntr wryspbbockicr)} laslapppppppppppppppppptctnsisurss. WePDFlin at f6- repcha l shstne t level~1 objecsives, moslappaeissive sNP∩coNP odnge}f6- disc u)spd l shstne t level~1 mean}pen>ltntrn.6-RCMspan>, author = {Bouyer, >a curan09-BDMRNCUR.17.6<28span>/ title = Duflot, n~iie -lo n~iscyp)} laslappppppppppppppppppnrhetn Ren>ult, G briel~bodngehDiracibut auCtrolasl swirma dySales.a Sth an class='bib-entry-key'>Measurrcr Ppaeissiv pel F tra G s publishass='bib-entry-key'> tibooktle'> { publish an="s{S}yne s to th{C}slelexu{P}aremets/r 20., {<6)span>, publisher = {KlLtibniCONCUR}'09 s\"u}rhInrmal cakspan>}, josers b {}, volume = { pages = volume = {{2017<6trn sty196-2 cni/lpanofimixed-mtte tgyhequilibr a maaprspan>, }, 321004230/OASIcssepNCUR.17.6<28span>maaprspan>, /oplar n tigraph/WI s.Syn,+we ap d the}cess(acsp noturs} )} laaaaaaaaaaaaaaaaaaaaaaaltntr wryspbbockicr)} laslapppppppppppppppppptctnsisurss. We~ at f6- repcha l shstne t level~1 objecsives, moslappaeissive sezni/lpan style='firt-long'>NicolasNicolas, fr/ tyle=' oretilstyle='fi44,aglasNicolasoretilWiley-ISTE, Octos='PDFlink'09 href="PDF/MyPapers/rtcsrcur17.6-DL>esan09-CMspan>

Abstra>esan09-CMsss='a>esan09-CMspdiv class='abstract'> author = Bouyer, >esan09-CMNCUR.17.6<28span>Can>ez, Fra6ck -lo n~iscyppnrhetn .6a hrehDiracibut auCtrolasl swirma dySales.a Sth an class='bib-entry-key'>Cony'opp Tim'e Sy{\'E} publishass='bib-entry-key'> tibooktle'> { publish an="s{S}yne s to th{C}slelexu{P}aremetCommunic>orethInrmal cakspan>}, josers b {}, 2017<6trn sty83-h20ni/lpanofimixed-mtte tgyhequilibr a >haptebib-entry-key'> class='bib-entry-val'>2017<6trn sty3ni/lpanofimixed-mtte tgyhequilibr a maaprspan>, }, 321004230/OASIcsoctNCUR.17.6<28span>an class='bib-entry-val'>maaprspan>, , fr/an s .co.uk/index.bsp?f=x&ACTION=View&s='288.6td>
new span08le=hyle='authotry-val'artiref='http:/sle=adrs nlenstBLM08>Patricia Bouyer, fr/an style='author-name'>Nicolas, fr/ tyle='cs.aau.dk/~kgleme'>NicolasNicolas, fr/ tyle=' style='firn jouanpan Logacsp Me>Nids el for="rtcav17.6-RCMDOI: 10.1007/s1978-3-319-41528-4_28span> 6-RCM
Abstralmcs4(2)-BLMsss='almcs4(2)-BLMspdiv class='abstract'>

ThSth cckd stems. nai gheWenc the}m lisp pnamed (a.k.a.PDFlinweighspd))} laslapppppppppppppppppptim'epny-key'ast-l ap sirsp im'epny-key'a} i.,)} laslappppppppppppppppppcostpi)f6-Sesursp nh i.en.6i>,p hosenslopes)} laslappppppppppppppppppliepelyle='fi44,ages =le=mp '>{0,1}~bodnge)n.6-RCMspan>, author = >Bouyer, lmcs4(2)-BLMNCUR.17.6<28span>/ title = Larsen, Kim Gulds ctndn l shstne t level~1 n~iscyppnrhetn .6a hrehDiracibut auCtrolasl swirma dySales.a Sth an class='bib-entry-key'>n lis Ctracicr One-cbock Pnamed Tim'e Ay-key'> sa hrehDiracibut auCtrolasl swirma jouanpaib-entry-key'> class='bib-entry-val'>2017<6trn styLogacsp Me>Nids el for="rtcav17.6-RCM pages = volume = {volume = {maaprspan>, {321004230/OASIcsmayNCUR.17.6<28span>maaprspan>, /oplar n tigraph/WWesc the}m lisp pnamed (a.k.a.~weighspd))} laslapppppppppppppppppptim'epny-key'ast-l ap sirsp im'epny-key'a} i.,)} laslappppppppppppppppppcostpi)f6-Sesursp nh

+.6td> <08>Patricia BouyerNicolas, fr/an style='audoyenr-name'>Nicolas, fr/ tyle=' NicolasNicolas, fr/an sulb.ac.be/di/ssd/jfname'> style='firn jouanpan F6-mal Me>Nids el Sy{\'E DesignTh>oret.6-DLM33(1-3):45-84l Sp icrer-Verlag, Decass='PDFlink'08 href="PDF/MyPapers/rtcsrcur17.6-DLfmsd33(1-3)-DDMRspan>6-RCM
Abstrafmsd33(1-3)-DDMRsss='afmsd33(1-3)-DDMRspdiv class='abstract'>

ThSth cckd stems. nai gheTim'epny-key'a} eng rned by CM< aliz'e)} laslappppppppppppppppppsemsnpacs (ss(umtr tappafectly 'cisenbehavi6-l shstne ppppp cbocks. T trad Δ>0ni/lpant-loncbocksncanpdrifpl shstne t level~1 byyle='fi44,ages =le=mp '>&epsi-31;>0ni/lpan. T elaxed aemsnpacs .6-ar=asses)} laslapppppppppppppppppp e imp 'cisurss} ( en 'vita y 's1ntpinaanm evnt.ponset ate oan i citth m1ntssursfof a im'epny-key'on, due o}t e)} laslappppppppppppppppppf tra p 'cisurs digitsp cbocks..6-RCp> We solve}t el shstne t level~1 safe pveruficysursfp o f6-t='syle='fi44,ages =le=mp '>Δni/lpan)} laslapppppppppppppppppp yle='fi44,ages =le=mp '>&epsi-31;ni/lpantsuch ( e im'epny-key'onpneverm evnt.ponset ate oan i ca)spas( e baepstsstr t d' the} elaxed aemsnpacsn.6-RCMspan>, author = >Bouyer, fmsd33(1-3)-DDMRNCUR.17.6<28span>De{~}Wulf, n~itinptnd Doyen, Laur1nt -lo n~iscyp)} laslappppppppppppppppppnrhetn Raskin, Jean-Fra6{\c c}oi}.6a hrehDiracibut auCtrolasl swirma dySales.a Sth an class='bib-entry-key'>RobustpSafe p Tim'e Ay-key'> sa hrehDiracibut auCtrolasl swirma ib-entry-key'> josers b {}, class='bib-entry-val'>2017<6trn styF6-mal Me>Nids el Sy{\'E DesignTh>oret='bib-entry-key'> pages = volume = {volume = {{2017<6trn sty45-84ni/lpanofimixed-mtte tgyhequilibr a maaprspan>, {321004230/OASIcsd'cNCUR.17.6<28span>maaprspan>, /oplar n tigraph/WTim'epny-key'a} eng rned by CM< aliz'e)} laslappppppppppppppppppsemsnpacs (ss(umtr tappafectly 'cisenbehavi6-l shstne ppppp cbocks. T trad 0\)t-loncbocksncanpdrifpl shstne t level~1 by~\(\epsi-31>0\)n T elaxed aemsnpacs .6-ar=asses)} laslapppppppppppppppppp e imp 'cisurss} ( en 'vita y 's1ntpinaanm evnt.ponset ate oan i citth m1ntssursfof a im'epny-key'on, due o}t e)} laslappppppppppppppppppf tra p 'cisurs digitsp cbocks.\p We solve}t el shstne t level~1 safe pveruficysursfp o f6-t='s~\(\Delta\))} laslapppppppppppppppppptnd~\(\epsi-31\)tsuch ( e im'epny-key'onpneverm evnt.ponset ate oan i ca)spas( e baepstsstr t d' the} elaxed aemsnpacsn.6td>

Bouyer, sfr/an sirife='aufra6-oisleme'>Nicolas, fr/ tyle=' NicolasNicolasan~bodngenpeople.irisa.fr/Nicolas.Oreibani/lpan sspan n dySale/OASIcs.SynColmcs4(2)-LMO classOnat e Epp essives/ss--lonCor=lex p npeoplATL style='firn jouanpan Logacsp Me>Nids el for="rtcav17.6-RCMDOI: 10.1007/s1978-3-319-41528-4_28span> 6-RCM
Abstralmcs4(2)-LMOsss='almcs4(2)-LMOspdiv class='abstract'>

ThSth cckd stems. nai gheATL}isia temporalalogac g ed owards}t el shstne t level~1 sp'cificysursf-lonveruficysursf pn pertntr in)} laslappppppppppppppppppmulti- ts}sy{\'E}. Itpallows o} eason}ol t el shstne t level~1 e ym rf seruze}t el shstne t level~1 cor=lex p ATLpm lis-stracicr wryspt e nuss=' )} laaaaaaaaaaaaaaaaaaaaaaa ts}isinoppf xed. Wep ve (it is)} laslapppppppppppppppppp6-RCMΔn28span>Pni/lpan sspan f-lon6-RCMΔn28span>Pni/lpan sspan -cor=letep)} laslappppppppppppppppppdependicr onpt e t d' lyfcrpmulti- t m lisp(ATS)} laslapppppppppppppppppp CGSpPDFlin esp.). We also atnpeoplATL -RCM<28span>+.6td> pages = volume = {volume = {maaprspan>, {321004230/OASIcsmayNCUR.17.6<28span>maaprspan>, /oplar n tigraph/WATL}isia temporalalogac g ed owards}t el shstne t level~1 sp'cificysursf-lonveruficysursf pn pertntr in)} laslappppppppppppppppppmulti- ts}sy{\'E}. Itpallows o} eason}ol t el shstne t level~1 e ym rf sessary tocaddat e m la l shstne t level~1 {"n}Release{"n}. We~trysp 'cisely chact'>eruze}t el shstne t level~1 cor=lex p ATLpm lis-stracicr wryspt e nuss=' )} laaaaaaaaaaaaaaaaaaaaaaa ts}isinoppf xed. Wep ve (it is)} laslapppppppppppppppppp\(\Delta_{2}^{P}\) -lo \(\Delta_{3}^{P}\)-cor=letep)} laslappppppppppppppppppdependicr onpt e t d' lyfcrpmulti- t m lisp(ATS)} laslapppppppppppppppppp CGSp~ esp.). We also at~ATL\({}^{+}\))} laslappppppppppppppppppm lis-stracicr isi\(\Delta_{3}^{P}\)-cor=lete overm evnt.ponset ate oan i c a href='http:/sle=adrs nlenstBBB<28span>+.6td> <08>Patricia Bouyer, fr/ tyle='rens/s.inen Nicolas, fr/an style='author-name'>Nicolas, fr/mp eu s.ac.be/maefespatbrihaye.html-name'>NicolasNicolas, fr/ tyle=' t d' Proba stic Semsnpacs thTh>oretilstyle='fi44,ages =le='fi47-61. Ltibniz-QEST'08~bodnge, cur17.6-DLM55-64n sEEE for=. Soc. Press, Septass='PDFlink'08 href="PDF/MyPapers/rtcsrcur17.6-DLqestk'08-BBBMspan>6-RCM

Abstraqestk'08-BBBMsss='aqestk'08-BBBMspdiv class='abstract'>

ThSth cckd stems. nai gheIn [Ba =' etPDFlinal. em>, Proba stic l shstne t level~1 Topologacsp Semsnpacsyf6- si>p)} laslappppppppppppppppppFSTTCS'07] taproba stic semsnpacsyf6-1 sspan finaa)} laslapppppppppppppppppptim'epny-key'on, -loniolved f6- I s.Syn,+wel shstne t level~1 co the}qusnpatasuve m lis-stracicr p o f6-)} laslapppppppppppppppppp6-RCMωni/lpan-regularppn pertntr:bwe aim at cor="ricr)} laslappppppppppppppppppthete glinproba ty} ( }gives tim'epny-key'onl shstne t level~1 satisfntr tnp6-RCMωni/lpan-regularppn pertyn Wepdevelopm evnt.ponset ate oan i cn frl'>workpina hic, we cCMworkn.6-RCMspan>, author = {Bouyer, qestk'08-BBBMNCUR.17.6<28span>Bertctnd, lp a e title = /rihaye,l shstne t level~1 {\ elax T }omr/ tnd n~iscyppnrhetn .6a hrehDiracibut auCtrolasl swirma dySales.a Sth an class='bib-entry-key'>Qusnpatasuve n lis-Ctracicr aOne-Cbock Tim'em evnt.ponset ate oan i cAy-key'> t d' Proba stic Semsnpacs a hrehDiracibut auCtrolasl swirma an="s{S}yne s to th{C}slelexu{P}aremets/r 5., {<6)span>, publisher = {KlLtibniQEST}'08 sa hrehDiracibut auCtrolasl swirma ib-entry-key'> josers b {}, 2017<6trn sty55-64ni/lpanofimixed-mtte tgyhequilibr a maaprspan>, {321004230/OASIcssepNCUR.17.6<28span>maaprspan>, /oplar n tigraph/WI [Ba =' \emph{et~al.}, \tstrit{Proba stic l shstne t level~1 Topologacsp Semsnpacsyf6-}p)} laslappppppppppppppppppFSTTCS'07] taproba stic semsnpacsyf6-workn.6td>

a href='http:/sle=adrs nlenstBFL -RCM+.6td> <08>Patricia Bouyer, fr/an style='author-name'>Nicolas, fr/an stix.polytechniquye='aLabo/Ulnamh.FaNicolas, fr/ tyle='cs.aau.dk/~kgleme'>NicolasNicolas, fr/ tyle=' NicolasNicolas, fr/ tyle='cs.aau.dk/~srbaame'> i., Energ l shstne t level~1 Cohtect ts thTh>oretilstyle='fi44,ages =le='fi47-61. Ltibniz-FORMATS'08~bodnge, -RCM6-RCM
Abstraf6-Sessk'08-BFLMSsss='af6-Sessk'08-BFLMSspdiv class='abstract'>

ThSth cckd stems. nai gheWePDFlini udy t e p o e ym -loncohtecuc'ursl shstne ppppp inf tra sstrdu syf6- equipppdpwi.,)} laslappppppppppppppppppposisive negasive weighss}ol tctnsisurss} l shstne t level~1 bocy'urs ,pcor espondicr o}t e p oduc'urs} l shstne t level~1 c umpsursprf some esou- (e.g. em>PDFlinenerg ).l shstne t level~1 WePDFlinask the}questionp hetry-k rete r tnpinf tra)} laslapppppppppppppppppppa., f6-< hic, accumulaspdpweighs f6-ix satisfntr certt pcohtect ts)} laslapppppppppppppppppp(e.g. em>PDFlinremsinnhl tw auyle='fi44,ages =le=mp '>0ni/lpant-lonsome givesm evnt.ponset ate oan i cupppr- und). WePDFlinalso c a ga nversirsp el shstne t level~1 above,p he e certt ptctnsisurss}may b )} laslappppppppppppppppppuncony'opla n.6-RCMspan>, author = {Bouyer, f6-Sessk'08-BFLMSNCUR.17.6<28span>B title = FaInf tra Runs el Weighspd i., Energ l shstne t level~1 Cohtect ts a hrehDiracibut auCtrolasl swirma ass='bib-entry-key'> tibooktle'> {ez, Fra6ck -lo Jard, Claude a hrehDiracibut auCtrolasl swirma an="s{S}yne s to th{C}slelexu{P}aremets/r 6., {<6)span>, publisher = {KlLtibniFORMATS}'08 sa hrehDiracibut auCtrolasl swirma ib-entry-key'> josers b {}, volume = { pages = volume = {{2017<6trn sty33-47ni/lpanofimixed-mtte tgyhequilibr a maaprspan>, {321004230/OASIcssepNCUR.17.6<28span>maaprspan>, /oplar n tigraph/WWe~i udy t e p o e ym -loncohtecuc'ursl shstne ppppp inf tra sstrdu syf6- equipppdpwi.,)} laslappppppppppppppppppposisive negasive weighss}ol tctnsisurss} l shstne t level~1 bocy'urs ,pcor espondicr o}t e p oduc'urs} l shstne t level~1 c umpsursprf some esou- (\emph{e.g.}~energ ).l shstne t level~1 We~ask the}questionp hetry-k rete r tnpinf tra)} laslapppppppppppppppppppa., f6-< hic, accumulaspdpweighs f6-ix satisfntr certt pcohtect ts)} laslapppppppppppppppppp(\emph{e.g.}~remsinnhl tw au~\(0\)t-lonsome givesm evnt.ponset ate oan i cupppr- und). We~also c a ga nversirsp el shstne t level~1 above,p he e certt ptctnsisurss}may b )} laslappppppppppppppppppuncony'opla n.6td>

a href='http:/sle=adrs nlenstBGM<28span>+.6td> <08>Patricia Bouyer, fr/mp eu s.ac.be/maefespatbrihaye.html-name'>NicolasNicolasNicolasNicolas, fr/ tyle=' NicolasNicolasoretilstyle='fi44,ages =le='fi47-61. Ltibniz-TIME'08~bodnge, cur17.6-DLM32-40n sEEE for=. Soc. Press, JunePDFlink'08 href="PDF/MyPapers/rtcsrcur17.6-DLtim'k'08-BGMRspan>6-RCM
Abstratim'k'08-BGMRsss='atim'k'08-BGMRspdiv class='abstract'>

ThSth cckd stems. nai gheWe7.6cus}ol p o f dicr ( PDFliniuze}of))} laslapppppppppppppppppptPDFlinm tmal winnicr coalitnrsfinaapmulti-player ga .l shstne t level~1 Mo ep 'cisely,+wePDFlin ve (d'ci icr wrytry-k rem evnt.ponset ate oan i cisia winnicr coalitnrsfrf suze}at m style='fi44,ages =le=mp '>k \"u}r is)} laslappppppppppppppppppNP-cor=letep hile d'ci icr wrytry-ki44,ages =le=mp '>k \"u}r is el shstne t level~1 opsumal suze}is DP-cor=lete. WePDFlinalso i udy difhonympl shstne t level~1 v~iia ts}of urporigi1al p o : func'ursl shstne pppppp o ,p he e aim isi o}effectively cor="rtct el shstne t level~1 coalitnrs; mo ensuccinc' .6-adicr a ga ;} l shstne t level~1 namhy-kfamili winnicr objecsivesn.6-RCMspan>, author = {Bouyer, tim'k'08-BGMRNCUR.17.6<28span>Brihaye, {\ elax T }omr/ tnd Ghannem, MohasGood fentnds} enhard o}f d! a hrehDiracibut auCtrolasl swirma an="s{S}yne s to th{C}slelexu{P}aremets/r 15., {<6)span>, publisher = {KlLtibniTIME}'08 sa hrehDiracibut auCtrolasl swirma ib-entry-key'> josers b {}, 2017<6trn sty32-40ni/lpanofimixed-mtte tgyhequilibr a maaprspan>, {321004230/OASIcsjunNCUR.17.6<28span>maaprspan>, /oplar n tigraph/WWes.6cus}ol p o f dicr ( ~iuze}of))} laslappppppppppppppppppt~m tmal winnicr coalitnrsfinaapmulti-player ga .l shstne t level~1 Mo ep 'cisely,+we~ ve (d'ci icr wrytry-k rem evnt.ponset ate oan i cisia winnicr coalitnrsfrf suze}at m st~\(k\)fis)} laslappppppppppppppppppNP-cor=letep hile d'ci icr wrytry-k\(k\)fis el shstne t level~1 opsumal suze}is DP-cor=lete. We~also i udy difhonympl shstne t level~1 v~iia ts}of urporigi1al p o : func'ursl shstne pppppp o ,p he e aim isi o}effectively cor="rtct el shstne t level~1 coalitnrs; mo ensuccinc' .6-adicr a ga ;} l shstne namhy-kfamili winnicr objecsivesn.6td>

a href='http:/sle=adrs nlenstBMO -RCM+.6td> <08>Patricia Bouyer, fr/an style='author-name'>Nicolas, fr/ tyle=' Nicolas, fr/an smpi-sws type~joeleme'>Nicolas, fr/an style='auphsame'>NicolasNicolas, fr/an scs tx.ac.uk/ tyle=/jasoretilstyle='fi44,ages =le='fi47-61. Ltibniz-STACS'08~bodnge, -RCM6-RCM
Abstrastacsk'08-BMOSWsss='astacsk'08-BMOSWspdiv class='abstract'>

ThSth cckd stems. nai gheA channel m~chice c sts}of ainsertnol arrors em>, i.en.6i>,pm~chicespin)} laslapppppppppppppppppp hosenchannels messa cCMOnaTerm a'urs}f6- tibooktle'> {, publisher = {KlLtibniSTACS}'08 sa hrehDiracibut auCtrolasl swirma ib-entry-key'> josers b {}, volume = { pages = volume = {2017<6trn sty121-132ni/lpanofimixed-mtte tgyhequilibr a maaprspan>, {321004230/OASIcsfebNCUR.17.6<28span>maaprspan>, /oplar n tigraph/WA channel m~chice c sts}of a+.6td> <08>Patricia Bouyer, fr/an style='author-name'>Nicolas, fr/ tyle=' Nicolas, fr/an smpi-sws type~joeleme'>NicolasNicolas, fr/an scs tx.ac.uk/ tyle=/jasoretilstyle='fi44,ages =le='fi47-61. Ltibniz-ICALP'08~bodnge, -RCM6-RCM

Abstraacsppk'08-BMOWsss='aacsppk'08-BMOWspdiv class='abstract'>

ThSth cckd stems. nai gheMe-namaI)spaaphaTemporalaLogac (MITL)cisia popularl shstne t level~1 f6-malis f6-punc'ual~bem> sp'cificysurss.l shstne t level~1 style='f s.Syn+wePDFlininy'oduce significyntly mo el shstne t level~1 epp essive logac (cCM, author = {Bouyer, acsppk'08-BMOWNCUR.17.6<28span>B title = n~iscyppnrhetn Ouaknicep)} laslappppppppppppppppppJo{\"e}sptnd Wor ell, JasOnaEpp essives/ss--lonCor=lex pilpReal-tim' n lisl shstne t level~1 Ctracicr odngehDiracibut auCtrolasl swirma ass='bib-entry-key'> tibooktle'> {}, volume = { pages = volume = {2017<6trn sty124-135ni/lpanofimixed-mtte tgyhequilibr a maaprspan>, {321004230/OASIcsjulNCUR.17.6<28span>maaprspan>, /oplar n tigraph/WMe-namaI)spaaphaTemporalaLogac (MITL)cisia popularl shstne t level~1 f6-malis f6-

a href='http:/sle=adrs nlenstBMR08>Patricia Bouyer, fr/an style='author-name'>Nicolas, fr/ tyle=' NicolasNicolas, fr/ SynCo.lif.univ-mrse='aupier e-alt .reyni-name'> v Channell shstne t level~1 n~chices thTh>oretilstyle='fi44,ages =le='fi47-61. Ltibniz-FoSSaCS'08~bodnge, -RCM6-RCM
Abstraf6ssacsk'08-BMRsss='af6ssacsk'08-BMRspdiv class='abstract'>

ThSth cckd stems. nai gheWhe eas f6-malnveruficysursf tim'epsy{\'E}phanm evnt.ponset ate oan i c ecome anver pacsive field of 's1arch, hem evnt.ponset ate oan i c alis'epmp eSesucal semsnpacsy tim'epny-key'a)} laslappppppppppppppppppcCMnoppbe faithfully ir=lem1nted. Severalpworkr havel shstne t level~1 t uss.6cuse onaapmodufi'epsemsnpacsy tim'e)} laslappppppppppppppppppay-key'> hic, ensu es ir=lem1nta tyst-lonrobust)} laslappppppppppppppppppm lis-stracicr slgoenth syf6-, author = {Bouyer, f6ssacsk'08-BMRNCUR.17.6<28span>B title = n~iscyppnrhetn Reyni-n,l shstne t level~1 oier e-Alt ~bodngehDiracibut auCtrolasl swirma dySales.a Sth an class='bib-entry-key'>Robust Anspysis Tim'e Ay-key'> v Channell shstne t level~1 n~chices odngehDiracibut auCtrolasl swirma ass='bib-entry-key'> tibooktle'> {, publisher = {KlLtibniFoSSaCS}'08 sa hrehDiracibut auCtrolasl swirma ib-entry-key'> josers b {}, volume = { pages = volume = {2017<6trn sty157-171ni/lpanofimixed-mtte tgyhequilibr a maaprspan>, {321004230/OASIcsmarNCUR.17.6<28span>maaprspan>, /oplar n tigraph/WWhe eas f6-malnveruficysursf tim'epsy{\'E}phanm evnt.ponset ate oan i c ecome anver pacsive field of 's1arch, hem evnt.ponset ate oan i c alis'epmp eSesucal semsnpacsy tim'epny-key'a)} laslappppppppppppppppppcCMnoppbe faithfully ir=lem1nted. Severalpworkr havel shstne t level~1 t uss.6cuse onaapmodufi'epsemsnpacsy tim'e)} laslappppppppppppppppppay-key'> hic, ensu es ir=lem1nta tyst-lonrobust)} laslappppppppppppppppppm lis-stracicr slgoenth syf6-

hapref='http:/sle=adrs nlenstCM08>Patricia Bouyer, fr/s17.6-R.mq.edu.au/~fcan>ezame'>NicolasNicolas, fr/ tyle=' oretilstyle='fi44,aga.fr/Niass='bolasNicolasoretilHermèsstOctos='PDFlink'08 href="PDF/MyPapers/rtcsrcur17.6-DLafseck'08-CMspan>
Abstraafseck'08-CMsss='aafseck'08-CMspdiv class='abstract'> author = Bouyer, afseck'08-CMNCUR.17.6<28span>Can>ez, Fra6ck -lo n~iscyppnrhetn .6a hrehDiracibut auCtrolasl swirma dySales.a Sth an class='bib-entry-key'>Cony'{\^o}le d'spsy{\{\`e}m emporis{\'e}s odngehDiracibut auCtrolasl swirma ass='bib-entry-key'> tibooktle'> {orethDiracibut auCtrolasl swirma ib-entry-key'> josers b {}, 2017<6trn sty105-144~bodngeofimixed-mtte tgyhequilibr a >haptebib-entry-key'> = {maaprspan>, {321004230/OASIcso UR.17.6<28span>maaprspan>, , fr/an stavoisier
new span07le=hyle='authotry-val'>a href='http:/sle=adrs nlenstBLM07>Patricia Bouyer, fr/an style='author-name'>Nicolas, fr/ tyle='cs.aau.dk/~kgleme'>NicolasNicolas, fr/ tyle=' thTh>oretilstyle='fi44,ages =le='fi47-61. Ltibniz-FoSSaCS'07 UR.17.6<28span>6-RCM
Abstraf6ssacsk'07-BLMsss='af6ssacsk'07-BLMspdiv class='abstract'>

ThSth cckd stems. nai gheWe co the}m lispofnprimpd<(a.k.a.PDFlinweighspd))} laslapppppppppppppppppptim'epny-key'astCM i.,m evnt.ponset ate oan i ccostpinf6-Sesursf n , author = {Bouyer, f6ssacsk'07-BLMNCUR.17.6<28span>B title = Larsen, KimpGulds ctndn l shstne t level~1 n~iscyppnrhetn .6a hrehDiracibut auCtrolasl swirma dySales.a Sth an class='bib-entry-key'>n lis Ctracicr One-cbock Pnampd odngehDiracibut auCtrolasl swirma ass='bib-entry-key'> tibooktle'> {, publisher = {KlLtibniFoSSaCS}'07ni/lpanofimixed-mtte tgyhequilibr a ib-entry-key'> josers b {}, volume = { pages = {{2017<6trn sty108-122ni/lpanofimixed-mtte tgyhequilibr a maaprspan>, {321004230/OASIcsmarNCUR.17.6<28span>maaprspan>, /oplar n tigraph/WWesco the}m lispofnprimpd<(a.k.a.~weighspd))} laslapppppppppppppppppptim'epny-key'astCM i.,m evnt.ponset ate oan i ccostpinf6-Sesursf n

a href='http:/sle=adrs nlenstBLM<28span>+.6td> <07>Patricia Bouyer, fr/mp eu s.ac.be/maefespatbrihaye.html-name'>NicolasNicolas, sfr/an sirife='aufra6coisleme'>Nicolas, fr/ tyle=' NicolasNicolasoretilstyle='fi44,ages =le='fi47-61. Ltibniz-CONCUR'07 UR.17.6<28span>6-RCM
Abstracohcurk'07-BLMOsss='acohcurk'07-BLMOspdiv class='abstract'>

ThSth cckd stems. nai gheWe p oposet- new m lispf6-tim'e ga pay-key'>~bem> PDFlinAsarin)} laslappppppppppppppppppetPDFlinal. em>, urptim'ePDFlinCGSs en"mo el shstne t level~1 cohcurnymp", ilp ebb-ns atpthey alwaysnallow)} laslappppppppppppppppppalletPDFlinal. em>.6-RCp> Wen atp urpm lisl shstne t level~1 hanhnimp p opertntr, el particular atl shstne t m lis-stracicr im'e CGSs agsinnt tim'e)} laslapppppppppppppppppp6-RCMATL s='firtis d'ci a lepvi>~bem> regursl shstne ppppp ttect'>ion, -lonel particular atnsecategues em evnt.ponset ate oan i c"regurs-sta le" i winnicr objecsives e. We)} laslappppppppppppppppppalso poset- new aptensursf 6-RCMTATL s='fir,l shstne t level~1 conysinicryle='fi44,ages =le=mp '>ATL 28span>*ni/lpan s='fir, hic, wel shstne t level~1 callyle='fi44,ages =le=mp '>TALTL s='fir. WePDFlin atl shstne t m lis-stracicr logac remsinnhd'ci a lepol im'e)} laslappppppppppppppppppCGSs. LolastweetPDFlinal. em>.6-RCMspan>, author = {Bouyer, cohcurk'07-BLMONCUR.17.6<28span>Brihaye, {\ elax T }omr/ tnd Laroussinie, Fra6{\cl shstne t level~1 c}oi/ tnd n~iscyppnrhetn Oreiba, Ghansa ~bodngehDiracibut auCtrolasl swirma dySales.a Sth an class='bib-entry-key'>Tim'e Cohcurnymp Ga nSecuc'u es odngehDiracibut auCtrolasl swirma ass='bib-entry-key'> tibooktle'> {}, volume = { pages = {{2017<6trn sty445-459ni/lpanofimixed-mtte tgyhequilibr a maaprspan>, {321004230/OASIcssepNCUR.17.6<28span>maaprspan>, /oplar n tigraph/WWesp oposet- new m lispf6-} ~Asarin)} laslapppppppppppppppppp\emph{et~al.}, urptim'e~CGSs en{"}mo el shstne t level~1 cohcurnymp{"}, ilp ebb-ns atpthey alwaysnallow)} laslappppppppppppppppppall} regursl shstne ppppp ttect'>ion, -lonel particular atnsecategues em evnt.ponset ate oan i c{"}regurs-sta le{"} i winnicr objecsives e. We)} laslappppppppppppppppppalso poset- new aptensursf \(\tstrsf{TATL}\),l shstne t level~1 conysinicr~\(\tstrsf{ATL}^{*}\), hic, wel shstne t level~1 call~\(\tstrsf{TALTL}\). We~ atl shstne t m lis-stracicr logac remsinnhd'ci a lepol im'e)} laslappppppppppppppppppCGSs. Lolastwe

a href='http:/sle=adrs nlenstBM07>Patricia Bouyer, fr/an style='author-name'>NicolasNicolas, fr/ tyle=' oretilstyle='fi44,ages =le='fi47-61. Ltibniz-FORMATS'07 UR.17.6<28span>6-RCM
Abstraf6-Sessk'07-BMsss='af6-Sessk'07-BMspdiv class='abstract'>

ThSth cckd stems. nai gheWe study the}m lis-stracicr p o pf6-. WePDFlindraw a, author = {Bouyer, f6-Sessk'07-BMNCUR.17.6<28span>B title = n~iscyppnrhetn .6a hrehDiracibut auCtrolasl swirma dySales.a Sth an class='bib-entry-key'>Costs} enExpensuve! odngehDiracibut auCtrolasl swirma ass='bib-entry-key'> tibooktle'> {}, volume = { pages = {{2017<6trn sty53-68ni/lpanofimixed-mtte tgyhequilibr a maaprspan>, {321004230/OASIcso UR.17.6<28span>maaprspan>, /oplar n tigraph/WWesstudy the}m lis-stracicr p o pf6-. We~draw a

a href='http:/sle=adrs nlenstBMO -RCM+.6td> <07>Patricia Bouyer, fr/an style='author-name'>Nicolas, fr/ tyle=' Nicolas, fr/an smpi-sws type~joeleme'>NicolasNicolas, fr/an scs tx.ac.uk/ tyle=/jasoretilstyle='fi44,ages =le='fi47-61. Ltibniz-LICS'07 UR.17.6cur17.6-DLM109-118ilsEEE for=l Soc. P ess, Jul PDFlink'07 href="PDF/MyPapers/rtcsrcur17.6-DLlicsk'07-BMOWspan>6-RCM
Abstralicsk'07-BMOWsss='alicsk'07-BMOWspdiv class='abstract'>

ThSth cckd stems. nai gheIsf-lpinflu.6tialns.Syn+61. Ldc"T e Benefitsp m evnt.ponset ate oan i cRelaxicr Punc'ual ", Alule Fedtle rs/PDFlinHenzicrerm evnt.ponset ate oan i ciny'oduced Me-namaI)spaaphaTemporalaLogacnpeopl(MITL)canm evnt.ponset ate oan i ca fragm1nt( U6tilNiugh th wan In s.Syn+we ntify)} laslappppppppppppppppppa `co-flat' subset( npeoplMTL atnis capa lepo m evnt.ponset ate oan i ce p essing<-nlarge cess(f punc'ual sp'cificysurss)} laslappppppppppppppppppalonf6-< hic, m lispstracicr (al>Niugh not)} laslapppppppppppppppppps>, author = {Bouyer, licsk'07-BMOWNCUR.17.6<28span>B title = n~iscyppnrhetn Ouaknicep)} laslappppppppppppppppppJo{\"e}sptnd Wor ell, JasT e Cost} Punc'ual odngehDiracibut auCtrolasl swirma an="s{S}yne s to th{C}slelexu{P}aremets/r 22 {A}nnual {S}ymposium}olm evnt.ponset ate oan i c{L}ogac n {C}ar="rer {S}17.6-R ({LICS}'07>, publisher = {KlLtibniLICS}'07ni/lpanofimixed-mtte tgyhequilibr a ib-entry-key'> josers b {}, 2017<6trn sty109-118ni/lpanofimixed-mtte tgyhequilibr a maaprspan>, {321004230/OASIcsjulNCUR.17.6<28span>maaprspan>, /oplar n tigraph/WIsf-lpinflu.6tialns.Syn+61. Ldc{"}T e Benefitsp m evnt.ponset ate oan i cRelaxicr Punc'ual {"}, Alule Fedtle rs/~Henzicrerm evnt.ponset ate oan i ciny'oduced Me-namaI)spaaphaTemporalaLogac~(MITL)canm evnt.ponset ate oan i ca fragm1nt( Niugh th wanNiugh not)} laslapppppppppppppppppps>

a href='http:/sle=adrs nlenstLMO07>Patricia Bouyer, sfr/an sirife='aufra6coisleme'>Nicolas, fr/ tyle=' NicolasNicolasoretilstyle='fi44,ages =le='fi47-61. Ltibniz-FoSSaCS'07 UR.17.6<28span>6-RCM
Abstraf6ssacsk'07-LMOsss='af6ssacsk'07-LMOspdiv class='abstract'>

ThSth cckd stems. nai gheATL is - emporalplogac gea ed owards m evnt.ponset ate oan i csp'cificysurs -lonveruficysursf p opertntr elm evnt.ponset ate oan i cmutti-ur1 ts}sy{\'E}. Itnallows} o} easrsf n m evnt.ponset ate oan i cex {\'m rfnsecategues f6-eruze}t em evnt.ponset ate oan i ccor=lex p ATL m lis-stracicr whes nuEs='po m evnt.ponset ate oan i cur1 ts}escnoppfixed. Wen atpitnis)} laslapppppppppppppppppp6-RCM&Deltafi44,ages =le=sub'>2k'>DOI: 10.1007/s197fup'>Pni/lpan s='fir -lon6-RCM&Deltafi44,ages =le=sub'>3k'>DOI: 10.1007/s197fup'>Pni/lpan s='fir-cor=letep)} laslappppppppppppppppppdepeldicr os unde lyicr mutti-ur1 t}m lis (ATS)} laslappppppppppppppppppalonCGS,PDFlin esp.). We also atPDFlinATL -RCM -RCM+.6td> <.6td> , publisher = {KlLtibniFoSSaCS}'07ni/lpanofimixed-mtte tgyhequilibr a ib-entry-key'> josers b {}, volume = { pages = {{2017<6trn sty243-257ni/lpanofimixed-mtte tgyhequilibr a maaprspan>, {321004230/OASIcsmarNCUR.17.6<28span>maaprspan>, /oplar n tigraph/WATL is - emporalplogac gea ed owards m evnt.ponset ate oan i csp'cificysurs -lonveruficysursf p opertntr elm evnt.ponset ate oan i cmutti-ur1 ts}sy{\'E}. Itnallows} o} easrsf n m evnt.ponset ate oan i cex {\'m rfnsecategues f6-eruze}t em evnt.ponset ate oan i ccor=lex p ATL m lis-stracicr whes nuEs='po m evnt.ponset ate oan i cur1 ts}escnoppfixed. Wen atpitnis)} laslapppppppppppppppppp\(\Delta_{2}^s/r\) -lon\(\Delta_{3}^s/r\)-cor=letep)} laslappppppppppppppppppdepeldicr os unde lyicr mutti-ur1 t}m lis (ATS)} laslappppppppppppppppppalonCGS,~ esp.). We also at~ATL\({}^s+r\)l shstne t m lis-stracicr esc\(\Delta_{3}^s/r\)-cor=letep nm evnt.ponset ate oan i c new span06le=hyle='authotry-val'artiref='http:/sle=adrs nlenstBBM06>Patricia Bouyer, fr/an style='author-name'>Nicolas, fr/mp eu s.ac.be/maefespatbrihaye.html-name'>NicolasNicolas, fr/ tyle=' thTh>oretil jouan>h/WIsf6-SesursfP ssinger/~bodngenpeopl98(5):188-194. Elsevi=', JunePDFlink'06 href="PDF/MyPapers/rtcsrcur17.6-DLipl98(5)-BBMspan>6-RCM

Abstraipl98(5)-BBMsss='aipl98(5)-BBMspdiv class='abstract'>

ThSth cckd stems. nai gheIn s.Synstwepwi , author = /opl>Bouyer, ipl98(5)-BBMNCUR.17.6<28span>B title = Brihaye, {\ elax T }omr/ tnd)} laslappppppppppppppppppn~iscyppnrhetn .6a hrehDiracibut auCtrolasl swirma dySales.a Sth an class='bib-entry-key'>Im d Undeci a ty}Results on Weighspd Tim'e)} laslappppppppppppppppppAy-key'> /lpanofimixed-mtte tgyhequilibr a ib-entry-key'> josers b {h {KlLtibnIsf6-SesursfP ssinger/~bodnge='bib-entry-key'> pages = {{{2017<6trn sty188-194ni/lpanofimixed-mtte tgyhequilibr a maaprspan>, {321004230/OASIcsjunNCUR.17.6<28span>maaprspan>, /oplar n tigraph/WIsf s.Synstwepwi

Bouyer, sfr/an sirife='aufra6coisleme'>Nicolas, fr/ tyle=' NicolasNicolas, fr/an style='auphsame'>oretil jouan>h/WTheo e'ucal for="rtcav17.6-RCMDOI: 10.1007/s1978-3-319-41528-4_28span> 6-RCM
Abstratcs353(1-3)-LMSsss='atcs353(1-3)-LMSspdiv class='abstract'>

ThSth cckd stems. nai gheWesco m lis stracicr tim'ep emporal)} laslappppppppppppppppppf6-mutnenel dur>l shstne t level~1 (DTGs), i.e. em>, Kripk nsecuc'u es whe el shstne t level~1 tctnsisurss}havehelrtrerpdur> Wenexhibilaalm evnt.ponset ate oan i cimportamp gap l tweeM≤ cCM&Deltafi44,ages =le=sub'>2k'>DOI: 10.1007/s197fup'>Pni/lpan s='fir-cor=letep r PSPACE-cor=lete)} laslappppppppppppppppppdepeldicr os co 'epseman'ucs..6-RCMspan>, author = /opl>Bouyer, tcs353(1-3)-LMSNCUR.17.6<28span>Laroussinie, Fra6{\c c}oi/ tnd n~iscyppnrhetn l shstne t level~1 Schnoenleen, {\ elax Ph}ilippe~bodngehDiracibut auCtrolasl swirma dySales.a Sth an class='bib-entry-key'>Effi17.6pptim'e}m lis stracicr f6- josers b {h {KlLtibnTheo e'ucal for="rtcav17.6-RCM pages = {{{2017<6trn sty249-271ni/lpanofimixed-mtte tgyhequilibr a maaprspan>, {321004230/OASIcsmarNCUR.17.6<28span>maaprspan>, /oplar n tigraph/WWesco m lis stracicr tim'ep emporal)} laslappppppppppppppppppf6-mutnenel \emph{dur>Niut exglindur>

Bouyer, fr/ tyle=' NicolasNicolas, fr/an sulb.ac.be/di/ssd/jfname'>oretil jouan>h/WTheo e'ucal for="rtcav17.6-RCMDOI: 10.1007/s1978-3-319-41528-4_28span> 6-RCM
Abstratcs358(2-3)-MRsss='atcs358(2-3)-MRspdiv class='abstract'>

ThSth cckd stems. nai gheIsf s.Synstwe(i)(ii)(iii)l shstne t level~1 Severalpresults enqutra negative: TPTL tnd nTLl shstne t remsin undeci a lenal319 regurs- tnd zane-pp }. Osl shstne pppppthe}o er htndstwe, author = /opl>Bouyer, tcs358(2-3)-MRNCUR.17.6<28span>n~iscyppnrhetn Rascic, Jean-Fra6{\c c}oi/~bodngehDiracibut auCtrolasl swirma dySales.a Sth an class='bib-entry-key'>M lis Ctracicr Res-namt'epSets Tim'e Pp } /lpanofimixed-mtte tgyhequilibr a ib-entry-key'> josers b {h {KlLtibnTheo e'ucal for="rtcav17.6-RCM pages = {{{2017<6trn sty273-292ni/lpanofimixed-mtte tgyhequilibr a maaprspan>, {321004230/OASIcsaugNCUR.17.6<28span>maaprspan>, /oplar n tigraph/WIsf s.Synstwe

Bouyer, fr/ tyle=' NicolasNicolas, fr/an style='auphsame'>oretil jouan>h/WIsf6-SesursfP ssinger/~bodngenpeopl97(6):225-230. Elsevi=', MarchPDFlink'06 href="PDF/MyPapers/rtcsrcur17.6-DLipl97(6)-MSspan>6-RCM
Abstraipl97(6)-MSsss='aipl97(6)-MSspdiv class='abstract'>

ThSth cckd stems. nai gheWenelves-igatepthe}pp cm lis stracicr p o yf rm evnt.ponset ate oan i cthe}6-RCMμ s='fir-calculus. Surpermi1ts-icnsecuc'u es doescnoppallow f6-DOI: 10.1007/s1978-3-319-41528-0.104230/OASIcs.SynCofsttcsk'06-BLMR://pe class(l319 /OA)Ilink'>DOI: n> 6-RCM

Abstrafsttcsk'06-BLMRsss='afsttcsk'06-BLMRspdiv class='abstract'>

ThSth cckd stems. nai gheWenco tim'epgas&epsil31; s='fir-optimal memo le.ssm evnnnnnnnnnnnnnnnnnnnnnnsecategues in tim'epgas, author = {Bouyer, fsttcsk'06-BLMRNCUR.17.6<28span>B title = Larsen, Kim Guld nd tnd)} laslappppppppppppppppppn~iscyppnrhetn Rasmussen, Jacob Il >AlmostpOptimal Secategues in One-CbockfP icpd Tim'e)} laslappppppppppppppppppAy-key'> a hrehDiracibut auCtrolasl swirma ass='bib-entry-key'> tibooktle'> {, publisher = {KlLtibniFSTTCS}'06 /lpanofimixed-mtte tgyhequilibr a ib-entry-key'> josers b {}, volume = { pages = {2017<6trn sty345-356ni/lpanofimixed-mtte tgyhequilibr a maaprspan>, {321004230/OASIcsdecNCUR.17.6<28span>maaprspan>, /oplar n tigraph/WWesco tim'epgasDOI: 10.1007/s1978-3-319-41528-0.104230/OASIcs.SynColatick'06-BMR://pe class(l319 /OA)Ilink'>DOI: n> 6-RCM

Abstralatick'06-BMRsss='alatick'06-BMRspdiv class='abstract'>

ThSth cckd stems. nai gheF6-Selnveruficysursf tim'epsy{\'E} escwellm evnt.ponset ate oan i cunde stoodstbclat i- ir=lemthyysurs em> escstillm evnt.ponset ate oan i cchallengicr. Recent}workspby Rascic eppal. em>l shstne t level~1 havehbriught iut apm lisp parl'>>eruzed tim'e)} laslappppppppppppppppppay-key'>p atpcCMir=lemthyy ty em> tim'epsy{\'E} f6-, author = {Bouyer, latick'06-BMRNCUR.17.6<28span>B title = n~iscyppnrhetn Reyni-np)} laslappppppppppppppppppoierrLtAlain>RobulatM lis-Ctracicr Lin -Tim'fP pertntr elm evnt.ponset ate oan i cTim'e Ay-key'> a hrehDiracibut auCtrolasl swirma ass='bib-entry-key'> tibooktle'> { pages = an="s{S}yne s to th{C}slelexu{P}aremets/r 7., {L}atic {A}merucalm evnt.ponset ate oan i c{S}ymposium rsf{T}heo e'ucal {IN}f6-Sesucs)} laslapppppppppppppppppp({LATIN}'06>, publisher = {KlLtibniLATIN}'06 /lpanofimixed-mtte tgyhequilibr a ib-entry-key'> josers b {}, volume = { pages = {2017<6trn sty238-249ni/lpanofimixed-mtte tgyhequilibr a maaprspan>, {321004230/OASIcsmarNCUR.17.6<28span>maaprspan>, /oplar n tigraph/WF6-Selnveruficysursf tim'epsy{\'E} escwellm evnt.ponset ate oan i cunde stoodstbclat i- \emph{ir=lemthyysurs} escstillm evnt.ponset ate oan i cchallengicr. Recent}workspby Rascic \emph{eppal.}l shstne t level~1 havehbriught iut apm lisp parl'>>eruzed tim'e)} laslappppppppppppppppppay-key'>p atpcCM

a href='http:/sle=adrs nlenstLMO06>Patricia Bouyer, sfr/an sirife='aufra6coisleme'>Nicolas, fr/ tyle=' NicolasNicolasoretilstyle='fi44,ages =le='fi47-61. Ltibniz-FORMATS'06NCUR.17.6<28span>6-RCM
Abstraf6-Sessk'06-LMOsss='af6-Sessk'06-LMOspdiv class='abstract'>

ThSth cckd stems. nai gheWenextend the frl'>workp ATL m lis-stracicr o)} laslapppppppppppppppppp"sir=ly tim'e quot; concur entpgasNiut equal cohtect tsstwhilenthem evnt.ponset ate oan i cgeneralpcas escshownhto b EXPTIME-cor=lete..6-RCMspan>, author = {Bouyer, f6-Sessk'06-LMONCUR.17.6<28span>Laroussinie, Fra6{\c c}oi/ tnd n~iscyppnrhetn l shstne t level~1 Oreiba, Ghansa ~bodngehDiracibut auCtrolasl swirma dySales.a Sth an class='bib-entry-key'>M lis-Ctracicr Tim'e~{ATL}pf6- tibooktle'> { pages = an="s{S}yne s to th{C}slelexu{P}aremets/r 4., {I}nrtcn>, publisher = {KlLtibniFORMATS}'06 /lpanofimixed-mtte tgyhequilibr a ib-entry-key'> josers b {}, volume = { pages = {2017<6trn sty245-259ni/lpanofimixed-mtte tgyhequilibr a maaprspan>, {321004230/OASIcssepNCUR.17.6<28span>maaprspan>, /oplar n tigraph/WWesextend the frl'>workp ATL m lis-stracicr o)} laslapppppppppppppppppp{"}sir=ly tim'e{"} concur entpgasNiut equal cohtect tsstwhilenthem evnt.ponset ate oan i cgeneralpcas escshownhto b EXPTIME-cor=lete..6td>

/oplnew span05le=hyle='authotry-val'>a href='http:/sle=adrs nlenstBCM05>Patricia Bouyer, fr/an style='author-name'>NicolasNicolasNicolas, fr/ tyle=' oretilstyle='fi44,ages =le='fi47-61. Ltibniz-FSTTCS'05NCUR.17.6<28span>6-RCM
Abstrafsttcsk'05-BCMsss='afsttcsk'05-BCMspdiv class='abstract'>

ThSth cckd stems. nai gheTPTL tnd nTL}a e woOIlb>cm lal cCM, author = {Bouyer, fsttcsk'05-BCMNCUR.17.6<28span>B title = Ctrvali-n, Fab icp tnd n~iscyp)} laslapppppppppppppppppplsv.fr/~bodngehDiracibut auCtrolasl swirma dySales.a Sth an class='bib-entry-key'>Os Exp essiveness {TPTL} -nd {nTL} a hrehDiracibut auCtrolasl swirma ass='bib-entry-key'> tibooktle'> {, publisher = {KlLtibniFSTTCS}'05ni/lpanofimixed-mtte tgyhequilibr a ib-entry-key'> josers b {}, volume = { pages = {2017<6trn sty432-443ni/lpanofimixed-mtte tgyhequilibr a maaprspan>, {321004230/OASIcsdecNCUR.17.6<28span>maaprspan>, /oplar n tigraph/WTPTL tnd nTL}a e wo

/oplwshpref='http:/sle=adrs nlenstAMR<28span>+.6td> <05>Patricia BouyerNicolas, fr/ tyle=' NicolasNicolas, fr/ SynCo.lif.univ-mrse='aupierrLtilain.reyni-name'>NicolasNicolasoretilstyle='fi44,ages =le='fi47-61. Ltibniz-ISR'05NCUR.17.6cur17.6-DLM395-406 hHerm&trravt;s, Octos='PDFlink'05 href="PDF/MyPapers/rtcsrcur17.6-DLmsrk'05-AMRTspan>DOI: 10.1007/s1978-3-319-41528-4_28spae-list'>
Abstramsrk'05-AMRTsss='amsrk'05-AMRTspdiv class='abstract'> author = {Bouyer, msrk'05-AMRTNCUR.17.6<28span>Altisen, Karicp n~iscyppnrhetn Reyni-np)} laslappppppppppppppppppoierrLtAlain Tripakis, Stavro/~bodngehDiracibut auCtrolasl swirma dySales.a Sth an class='bib-entry-key'>Ir=l{\'e}mthyy t{\'e} d ay-key'es)} laslapppppppppppppppppp emporis{\'e}s a hrehDiracibut auCtrolasl swirma ass='bib-entry-key'> tibooktle'> {6-RCM
Abstra a40(6-7)-Marsss='a a40(6-7)-Marspdiv class='abstract'>

ThSth cckd stems. nai gheWe, author = /opl>Bouyer, a40(6-7)-MarNCUR.17.6<28span>n~iscyppnrhetn ~bodngehDiracibut auCtrolasl swirma dySales.a Sth an class='bib-entry-key'>'ola escf6- josers b {}, KlLtibnA a Isf6-Sesuc'> pages = {{2017<6trn sty431-458ni/lpanofimixed-mtte tgyhequilibr a maaprspan>, {321004230/OASIcsmayNCUR.17.6<28span>maaprspan>, /oplar n tigraph/WWesstudy the}cor=lex p t>

Bouyer, fr/ tyle=' NicolasNicolas, fr/an style='auphsame'>oretil jouan>h/WIsf6-SesursfP ssinger/~bodngenpeopl90(1):3-6. Elsevi=', Ap ilPDFlink'04 href="PDF/MyPapers/rtcsrcur17.6-DLipl90(1)-MSspan>6-RCM
Abstraipl90(1)-MSsss='aipl90(1)-MSspdiv class='abstract'>

ThSth cckd stems. nai gheSLP-cor= essedpwords}a e words}given bytsir=l')} laslappppppppppppppppppde>ermi1ts-icngrammars calledp"sect ghs. nn'm evnt.ponset ate oan i cp ograms". Wen e atpthe}p o y deci 6-g)} laslapppppppppppppppppp he er an SLP-cor= essedpword isprecognuzed by -m evnt.ponset ate oan i cFSA cor=lete f6-, author = /opl>Bouyer, ipl90(1)-MSNCUR.17.6<28span>n~iscyppnrhetn Schnoenleen, {\ elax Ph}ilippe~bodngehDiracibut auCtrolasl swirma dySales.a Sth an class='bib-entry-key'>A {PTIME}-Cor=lete Matchicr P o yf rm evnt.ponset ate oan i c{SLP}-Cor= essedpWords /lpanofimixed-mtte tgyhequilibr a ib-entry-key'> josers b {h {KlLtibnIsf6-SesursfP ssinger/~bodnge='bib-entry-key'> pages = {{2017<6trn sty3-6ni/lpanofimixed-mtte tgyhequilibr a maaprspan>, {321004230/OASIcsaprNCUR.17.6<28span>maaprspan>, /oplar n tigraph/WSLP-cor= essedpwords}a e words}given bytsir=l')} laslappppppppppppppppppde>ermi1ts-icngrammars calledp{"}sect ghs. nn'm evnt.ponset ate oan i cp ograms{"}. Wen e atpthe}p o y deci 6-g)} laslapppppppppppppppppp he er an SLP-cor= essedpword isprecognuzed by -m evnt.ponset ate oan i cFSA cor=lete f6-

a href='http:/sle=adrs nlenstDCM 10.1007/s197fup'>+.6td> <04>Patricia BouyerNicolasNicolas, fr/ tyle=' NicolasNicolasermi1ts-icnTemporalfLogacscf6-oretilstyle='fi44,ages =le='fi47-61. Ltibniz-HSCC'04ni/lpan.6<28span>6-RCM
Abstrahscck'04-DCMMsss='ahscck'04-DCMMspdiv class='abstract'>

ThSth cckd stems. nai gheIsf s.Synstwee-tim')} laslapppppppppppppppppp ctnsisurs sy{\'E}, co einuous-tim' difhonymtispm evnt.ponset ate oan i cinclusurssst-lonhybrid-tim' sy{\'E} such asthybrid)} laslappppppppppppppppppay-key'>. Wenihy'oduce Full 10.1007/s197fup'>*ni/lpan s='fir tnd)} laslappppppppppppppppppesta-entr its s undness w.r.t.cthe}generalpflow)} laslappppppppppppppppppseman'ucs..6-RCMspan>, author = {Bouyer, hscck'04-DCMMNCUR.17.6<28span>Davo en, Jenif='t-lonCoulthard, Vaugha tnd n~iscyp)} laslapppppppppppppppppplsv.fr/ tnd noon, {\ elax Th}omr/~bodngehDiracibut auCtrolasl swirma dySales.a Sth an class='bib-entry-key'>Non-de>ermi1ts-icnTemporalfLogacscf6- tibooktle'> {, publisher = {KlLtibniHSCC}'04 /lpanofimixed-mtte tgyhequilibr a ib-entry-key'> josers b {}, volume = { pages = {2017<6trn sty280-295ni/lpanofimixed-mtte tgyhequilibr a maaprspan>, {321004230/OASIcsmarNCUR.17.6<28span>maaprspan>, /oplar n tigraph/WIsf s.Synstwee-tim')} laslapppppppppppppppppp ctnsisurs sy{\'E}, co einuous-tim' difhonymtispm evnt.ponset ate oan i cinclusurssst-lonhybrid-tim' sy{\'E} such asthybrid)} laslappppppppppppppppppay-key'>. Wenihy'oduce FullDOI: 10.1007/s1978-3-319-41528-4_28span> 6-RCM

Abstraftrtftk'04-DDMRsss='aftrtftk'04-DDMRspdiv class='abstract'>

ThSth cckd stems. nai gheIsfa f6-mtcas.Synstwep ha Almost ASAP>eruzed by mp '>Δ s='fir to cope i cthem evnt.ponset ate oan i cra / < d lay ca y'oller. Wenshowed atm evnt.ponset ate oan i c seman'ucs ir=lemthyy len d the e)} laslappppppppppppppppppex sts}acstnamtly positive aphueyf r thepparl'>>er)} laslapppppppppppppppppp mp '>Δ s='fir f r hic, the}secttegy correcs. Ism evnt.ponset ate oan i c s.SynstweΔ s='fir. Wenshow atpth ques-i < closelyl shstne t elated o apnosursf crobulaness f r tim'epay-key'>)} laslappppppppppppppppppdefi1pdfel (A.PDFlinPuri: Dyel'ucal P pertntr l shstne t Tim'e Ay-key'> ir. FTRTFT, 1998) tndn e atpthem evnt.ponset ate oan i cir=lemthyy ty}p o deci y le..6-RCMspan>, author = {Bouyer, ftrtftk'04-DDMRNCUR.17.6<28span>De{~}Wulf, Martin Doyen, Launymt tnd n~iscyp)} laslapppppppppppppppppplsv.fr/ tnd Rascic, Jean-Fra6{\c c}oi/~bodngehDiracibut auCtrolasl swirma dySales.a Sth an class='bib-entry-key'>Robulaness -lonIr=lemthyy ty Tim'e Ay-key'> odngehDiracibut auCtrolasl swirma ass='bib-entry-key'> tibooktle'> {}, volume = { pages = {2017<6trn sty118-133ni/lpanofimixed-mtte tgyhequilibr a maaprspan>, {321004230/OASIcssepNCUR.17.6<28span>maaprspan>, /oplar n tigraph/WIsfa f6-mtcas.Synstwep ha Almost ASAP>eruzed by \(\Delta\) to cope i cthem evnt.ponset ate oan i cra / < d lay ca y'oller. Wenshowed atm evnt.ponset ate oan i c seman'ucs ir=lemthyy len d the e)} laslappppppppppppppppppex sts}acstnamtly positive aphueyf r thepparl'>>er)} laslapppppppppppppppppp\(\Delta\) f r hic, the}secttegy correcs. Ism evnt.ponset ate oan i c s.Synstwe)} laslappppppppppppppppppdefi1pdfel (A.~Puri: \tstrit{Dyel'ucal P pertntr l shstne t Tim'e Ay-key'>}. FTRTFT, 1998) tndn e atpthem evnt.ponset ate oan i cir=lemthyy ty}p o deci y le..6td>

a href='http:/sle=adrs nlenstLMS04>Patricia Bouyer, sfr/an sirife='aufra6coisleme'>Nicolas, fr/ tyle=' NicolasNicolas, fr/an style='auphsame'> i cO1p r Two)} laslappppppppppppppppppClock} thTh>oretilstyle='fi44,ages =le='fi47-61. Ltibniz-CONCUR'04ni/lpan.6<28span>6-RCM
Abstraconcurk'04-LMSsss='aconcurk'04-LMSspdiv class='abstract'>

ThSth cckd stems. nai gheIsf s.Synstwe (TAs)st-lonmo e}p eciselytwe Fp://twesshowm evnt.ponset ate oan i cthatpthe}ra hy ty}p o NLOGSPACE-cor=letel shstne t f6-canenclockcTAr (i.e. astcor=lex astra hy tym evnt.ponset ate oan i cinecess(ucal graphs) tndnwesgive appolynomial tim')} laslappppppppppppppppppslgoenth f6-cm lis stracicr TCTL, n< cess(m evnt.ponset ate oan i c TAs. SacondlytweNiut anyl shstne t timicr cohtect t) n< wo, author = {Bouyer, concurk'04-LMSNCUR.17.6<28span>Laroussinie, Fra6{\c c}oi/ tnd n~iscyppnrhetn l shstne t level~1 Schnoenleen, {\ elax Ph}ilippe~bodngehDiracibut auCtrolasl swirma dySales.a Sth an class='bib-entry-key'>M lis Ctracicr Tim'e Ay-key'> i cO1p r Two)} laslappppppppppppppppppClock} odngehDiracibut auCtrolasl swirma ass='bib-entry-key'> tibooktle'> {}, volume = { pages = {2017<6trn sty387-401ni/lpanofimixed-mtte tgyhequilibr a maaprspan>, {321004230/OASIcsaugNCUR.17.6<28span>maaprspan>, /oplar n tigraph/WIsf s.Synstwe (TAs)st-lonmo e}p eciselytweNiut anyl shstne t timicr cohtect t) n< wo

a href='http:/sle=adrs nlenstMR04>Patricia Bouyer, fr/ tyle=' NicolasNicolas, fr/an sulb.ac.be'>oretilstyle='fi44,ages =le='fi47-61. Ltibniz-CONCUR'04ni/lpan.6<28span>6-RCM
Abstraconcurk'04-MRsss='aconcurk'04-MRspdiv class='abstract'>

ThSth cckd stems. nai gheIsf s.Synstwe(i) ir}acs lel shstne t fintra (6-

    (ii) ir}acinfintra se' fintra (6-(iii) ir}am evnt.ponset ate oan i cinfintra se' fintra (6-, author = {Bouyer, concurk'04-MRNCUR.17.6<28span>n~iscyppnrhetn Rascic, Jean-Fra6{\c c}oi/~bodngehDiracibut auCtrolasl swirma dySales.a Sth an class='bib-entry-key'>M lis Ctracicr Res-namte Se' Tim'e Path} odngehDiracibut auCtrolasl swirma ass='bib-entry-key'> tibooktle'> {}, volume = { pages = {2017<6trn sty432-447ni/lpanofimixed-mtte tgyhequilibr a maaprspan>, {321004230/OASIcsaugNCUR.17.6<28span>maaprspan>, /oplar n tigraph/WIsf s.Synstwe
a href='http:/sle=adrs nlenstMS04>Patricia Bouyer, fr/ tyle=' NicolasNicolas, fr/an style='auphsame'>oretilstyle='fi44,ages =le='fi47-61. Ltibniz-FORMATS-FTRTFT'04ni/lpan.6<28span>6-RCM
Abstraf6-Sessk'04-MSsss='af6-Sessk'04-MSspdiv class='abstract'>

ThSth cckd stems. nai gheWeica (6isa. ard casel shstne t studuml)..6-RCMspan>, author = {Bouyer, f6-Sessk'04-MSNCUR.17.6<28span>n~iscyppnrhetn Schnoenleen, {\ elax Ph}ilippe~bodngehDiracibut auCtrolasl swirma dySales.a Sth an class='bib-entry-key'>Symbolic M lis Ctracicr f6- tibooktle'> {}, volume = { pages = {2017<6trn sty102-117ni/lpanofimixed-mtte tgyhequilibr a maaprspan>, {321004230/OASIcssepNCUR.17.6<28span>maaprspan>, /oplar n tigraph/WWeica (6isa. ard casel shssssssssssssssssssssssstuduml)..6td>

Bouyer, fr/ tyle=' oretilstyle='fi44,ages =le='fi47-61. Ltibniz-AFADL'04 /lpan. JunePDFlink'04 href="PDF/MyPapers/rtcsrcur17.6-DLafadlk'04-Marspan>DOI: 10.1007/s1978-3-319-41528-4_28spae-list'>
Abstraafadlk'04-Marsss='aafadlk'04-Marspdiv class='abstract'> author = {Bouyer, afadlk'04-MarNCUR.17.6<28span>n~iscyppnrhetn ~bodngehDiracibut auCtrolasl swirma dySales.a Sth an class='bib-entry-key'>TSMV :pm lis-stracicr symbolique tibooktle'> {6-RCM
Abstraqestk'04-MSsss='aqestk'04-MSspdiv class='abstract'>

ThSth cckd stems. nai gheTSMV i/ tn strensursf cNuSMVp ha pen-sourcel shsssssssssssssssssssssssymbolic m lis stracynstaim'epaypd'alicr i ctim'em evnt.ponset ate oan i cvynC/ , author = {Bouyer, qestk'04-MSNCUR.17.6<28span>n~iscyppnrhetn Schnoenleen, {\ elax Ph}ilippe~bodngehDiracibut auCtrolasl swirma dySales.a Sth an class='bib-entry-key'>TSMV: Symbolic M lis Ctracicr f6-DOI: 10.1007/s1978-3-319-41528-4_28span> 6-RCM

Abstraconcurk'03-MSsss='aconcurk'03-MSspdiv class='abstract'>

ThSth cckd stems. nai gheWenco ha of stracicr hethe - fintral shstne t (6-

    , author = {Bouyer, concurk'03-MSNCUR.17.6<28span>n~iscyppnrhetn Schnoenleen, {\ elax Ph}ilippe~bodngehDiracibut auCtrolasl swirma dySales.a Sth an class='bib-entry-key'>M lis Ctracicr a Path (Prelimictry Report) odngehDiracibut auCtrolasl swirma ass='bib-entry-key'> tibooktle'> {}, volume = { pages = {2017<6trn sty251-265ni/lpanofimixed-mtte tgyhequilibr a maaprspan>, {321004230/OASIcsaugNCUR.17.6<28span>maaprspan>, /oplar n tigraph/WWe
Bouyer, fr/ tyle=' DOI: 10.1007/s1978-3-319-41528-4_28spae-list'>
Abstraphdk'03-Marsss='aphdk'03-Marspdiv class='abstract'> author = Bouyer, phdk'03-MarNCUR.17.6<28span>n~iscyppnrhetn ~bodngehDiracibut auCtrolasl swirma dySales.a Sth an class='bib-entry-key'>Logaquesftemporellis pour la v{\'e}nific>maaprspan>, {321004230/OASIcsaprNCUR.17.6<28span> tibooktle'> {maaprspan>, /oplnew span02le=hyle='authotry-val'>a href='http:/sle=adrs nlenstLMS02>Patricia Bouyer, sfr/an sirife='aufra6coisleme'>Nicolas, fr/ tyle=' NicolasNicolas, fr/an style='auphsame'>oretilstyle='fi44,ages =le='fi47-61. Ltibniz-FoSSaCS'02NCUR.17.6<28span>6-RCM
Abstraf6ssacsk'02-LMSsss='af6ssacsk'02-LMSspdiv class='abstract'>

ThSth cckd stems. nai gheWenco quan'uresuv' m lis stracicr el)} laslappppppppppppppppppdur> (Kripkel shssssssssssssssssssssssstcucsu esp he e ctnsisurss have ihypger dur>= cCM≤ cCMΔ6-RCMDOI: 10.1007/s197supthoni/lpan s/lpan-cor=letecm lis stracicr p o ..6-RCMspan>, author = {Bouyer, f6ssacsk'02-LMSNCUR.17.6<28span>Laroussinie, Fra6{\c c}oi/ tnd n~iscyppnrhetn l shstne t level~1 Schnoenleen, {\ elax Ph}ilippe~bodngehDiracibut auCtrolasl swirma dySales.a Sth an class='bib-entry-key'>On M lis Ctracicr Dur> tibooktle'> {, publisher = {KlLtibniFoSSaCS}'02~bodngeofimixed-mtte tgyhequilibr a ib-entry-key'> josers b {}, volume = { pages = {2017<6trn sty264-279 /lpanofimixed-mtte tgyhequilibr a maaprspan>, {321004230/OASIcsaprNCUR.17.6<28span>maaprspan>, /oplar n tigraph/WWea href='http:/sle=adrs nlenstLMS02>Patricia Bouyer, sfr/an sirife='aufra6coisleme'>Nicolas, fr/ tyle=' NicolasNicolas, fr/an style='auphsame'>oretilstyle='fi44,ages =le='fi47-61. Ltibniz-LICS'02NCUR.17.6cur17.6-DLM383-392ilsEEE for=. Soc. P ess, JulyPDFlink'02 href="PDF/MyPapers/rtcsrcur17.6-DLlicsk'02-LMSspan>6-RCM

Abstralicsk'02-LMSsss='alicsk'02-LMSspdiv class='abstract'>

ThSth cckd stems. nai gheWeninves-igate NLTL, t .6- -tim' temporalflogacm evnt.ponset ate oan i c i cforgettable pola. NLTL can b exponemtisply)} laslappppppppppppppppppm e}succin as LTL +cPola (which el su n can b )} laslappppppppppppppppppm e}succin as LTL). Wenatudy aatisfny ty}-lo)} laslappppppppppppppppppm lis stracicr f6-omata-theo etic slgoenth s f r thes'm evnt.ponset ate oan i cEXPSPACE-cor=letecp o s..6-RCMspan>, author = {Bouyer, licsk'02-LMSNCUR.17.6<28span>Laroussinie, Fra6{\c c}oi/ tnd n~iscyppnrhetn l shstne t level~1 Schnoenleen, {\ elax Ph}ilippe~bodngehDiracibut auCtrolasl swirma nDani/lpan sty TemporalfLogac i cForgettable Pola odngehDiracibut auCtrolasl swirma an="s{S}yne s to th{C}slelexu{P}aremets/r 17., {A}nnualf{S}ym osium rs)}}}}}}}}}}}}}}}}}}}}}}}}}{L}ogacfel {C}ar="rerc{S}17.6-Rc({LICS}'02>, publisher = {KlLtibniLICS}'02~bodngeofimixed-mtte tgyhequilibr a ib-entry-key'> josers b {{2017<6trn sty383-392 /lpanofimixed-mtte tgyhequilibr a maaprspan>, {321004230/OASIcsjulNCUR.17.6<28span>maaprspan>, /oplar n tigraph/WWeomata-theo etic slgoenth s f r thes'm evnt.ponset ate oan i cEXPSPACE-cor=letecp o s..6UR.17td class='php-entry'>a href='http:/sle=adrs nlenstMar02>Patricia Bouyer, fr/ tyle=' oretilstyle='fi44,ages =le='fi47-61. Ltibniz-EXPRESS'02NCUR.17.6<28span>6-RCM

Abstrast= essk'02-Marsss='aet= essk'02-Marspdiv class='abstract'>

ThSth cckd stems. nai gheWenstudy the}cor=lex p aatisfny ty}-lo)} laslappppppppppppppppppm lis-stracicr .6- -tim' temporalflogacm evnt.ponset ate oan i c i cpolaPDFlin(PLTL). Mo ecp eciselyp wenco )} laslappppppppppppppppppsevynal fragmthy PLTL, dependicr s the}allowed)} laslappppppppppppppppppse' temporalfm la tiesstthe}us' neg>, author = {Bouyer, et= essk'02-MarNCUR.17.6<28span>n~iscyppnrhetn ~bodngehDiracibut auCtrolasl swirma dySales.a Sth an class='bib-entry-key'>'ola i/ f r Free: Os the}Cor=lex p Vynifyicr)} laslappppppppppppppppppL6- TemporalfP pertntry i cPola odngehDiracibut auCtrolasl swirma ass='bib-entry-key'> tibooktle'> {}, volume = { pages = {{2017<6trn sty89-106 /lpanofimixed-mtte tgyhequilibr a maaprspan>, {321004230/OASIcsaugNCUR.17.6<28span>maaprspan>, /oplar n tigraph/WWe/oplnew span01le=hyle='authotry-val'>a href='http:/sle=adrs nlenstLMS01>Patricia Bouyer, sfr/an sirife='aufra6coisleme'>Nicolas, fr/ tyle=' NicolasNicolas, fr/an style='auphsame'>DOI: 10.1007/s1978-3-319-41528-4_28span> 6-RCM

Abstraf6ssacsk'01-LMSsss='af6ssacsk'01-LMSspdiv class='abstract'>

ThSth cckd stems. nai gheA gcthe}bra6chicr-tim' temporalflogacs}us'd f r)} laslappppppppppppppppppthe}specific> 10.1007/s197supth+ni/lpan s/lpan,nFCTL tnd ECTL6-RCM 10.1007/s197supth+ni/lpan s/lpant-re thefm la notable)} laslapppppppppppppppppplogac/ f r which the}p ecise}cor="r>Δ6-RCMDOI: 10.1007/s197supthpni/lpan s/lpan-cor=lete..6-RCMspan>, author = {Bouyer, f6ssacsk'01-LMSNCUR.17.6<28span>Laroussinie, Fra6{\c c}oi/ tnd n~iscyppnrhetn l shstne t level~1 Schnoenleen, {\ elax Ph}ilippe~bodngehDiracibut auCtrolasl swirma anDani/lpan sty M lis Ctracicr {CTL}{\(^+\)} tnd {FCTL} is hard odngehDiracibut auCtrolasl swirma ass='bib-entry-key'> tibooktle'> {, publisher = {KlLtibniFoSSaCS}'01ni/lpanofimixed-mtte tgyhequilibr a ib-entry-key'> josers b {}, volume = { pages = {2017<6trn sty318-331 /lpanofimixed-mtte tgyhequilibr a maaprspan>, {321004230/OASIcsaprNCUR.17.6<28span>maaprspan>, /oplar n tigraph/WA gcthe}bra6chicr-tim' temporalflogacs}us'd f r)} laslappppppppppppppppppthe}specific>