Opendata, web and dolomites
H2020 projects about "automata"
The page lists 15 projects related to the topic "automata".
| # | |||
|---|---|---|---|
| 1 | BUCOPHSYS | Bottom-up hybrid control and planning synthesis with application to multi-robot multi-human coordination | 2015 |
| 2 | InfoInt | An Information Theory of Simple Interaction | 2015 |
| 3 | InvGroGra | Asymptotic invariants of discrete groups, sparse graphs and locally symmetric spaces | 2015 |
| 4 | AVS-ISS | Analysis, Verification, and Synthesis for Infinite-State Systems | 2015 |
| 5 | ANT | Automata in Number Theory | 2015 |
| 6 | MALIG | A mathematical approach to the liquid-glass transition: kinetically constrained models, cellular automata and mixed order phase transitions | 2016 |
| 7 | InfTy | Infinitary Rewriting for Type Systems | 2016 |
| 8 | LIPA | A unified theory of finite-state recognisability | 2016 |
| 9 | PROCSYS | Towards programmable cyber-physical systems: a symbolic control approach | 2017 |
| 10 | FLUFLUX | Fluvial Meta-Ecosystem Functioning: Unravelling Regional Ecological Controls Behind Fluvial Carbon Fluxes | 2017 |
| 11 | SENTIENT | SCHEDULING OF EVENT-TRIGGERED CONTROL TASKS | 2018 |
| 12 | SynBioBrain | Building biological computers from bacterial populations | 2018 |
| 13 | VeSPA | Verification and Specification through Progress Abstractions | 2018 |
| 14 | AutoTADes | Automating Timed Automata Design | 2018 |
| 15 | INTERACT | Interactive Machine Learning for Compositional Models of Natural Language | 2020 |