Selected publications at LSV

@phdthesis{stan-phd2017,
   author = {Stan, Daniel},
   month = mar,
   school = {Laboratoire Sp{\'e}cification et V{\'e}rification, ENS Cachan, France},
   type = {Th{\`e}se de doctorat},
   title = {Randomized Strategies in Concurrent Games},
   url = {https://hal.archives-ouvertes.fr/tel-01519354},
   year = {2017},
}

About LSV

Select by Year