Strategy synthesis for linear arithmetic games
- Azadeh Farzan
- , Zachary Kincaid
Research output: Contribution to journal › Article › peer-review
29
Link opens in a new tab
Scopus
citations