BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Collaborated with:
B.Monmege P.Reynier O.Sankur
Talks about:
synthesi (1) automata (1) approach (1) control (1) symbol (1) robust (1) büchi (1) time (1)

Person: Damien Busatto-Gaston

DBLP DBLP: Busatto-Gaston:Damien

Contributed to:

CAV (1) 20192019

Wrote 1 papers:

CAV-2019-Busatto-GastonM #approach #automaton #robust #synthesis
Robust Controller Synthesis in Timed Büchi Automata: A Symbolic Approach (DBG, BM, PAR, OS), pp. 572–590.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.