par Filiot, Emmanuel ;Löding, Christof;Winter, Sarah
Référence Leibniz international proceedings in informatics, 182, 46
Publication Publié, 2020-12-01
Article révisé par les pairs
Titre:
  • Synthesis from weighted specifications with partial domains over finite words
Auteur:Filiot, Emmanuel; Löding, Christof; Winter, Sarah
Informations sur la publication:Leibniz international proceedings in informatics, 182, 46
Statut de publication:Publié, 2020-12-01
Sujet CREF:Généralités
Mots-clés:Synthesis
Weighted automata on finite words
Weighted games
Note générale:SCOPUS: cp.p
Langue:Anglais
Identificateurs:urn:issn:1868-8969
info:doi/10.4230/LIPIcs.FSTTCS.2020.46
info:scp/85101483737

Documents en relation

DI-fusion