| Original language | English |
|---|---|
| Publisher | ACM |
| DOIs | |
| Publication status | Published - 2015 |
Keywords
- Linear temporal logic
- synthesis
- specification patterns
GR(1) Synthesis for LTL Specification Patterns
Shahar Maoz, Jan Oliver Ringert
Research output: Other contribution
68
Citations
(Scopus)
68
Downloads
(Pure)