Opendata, web and dolomites

H2020 projects about "automata"

The page lists 15 projects related to the topic "automata".

# achronym  title  year 
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
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