| A semantic theory of the Internet of Things |
5 |
| A calculus for collective-adaptive systems and its behav... |
4 |
| Graded modalities in Strategy Logic |
4 |
| Practical verification of multi-agent systems against SL... |
4 |
| Computation as social agency: What, how and who |
3 |
| Alignment-free sequence comparison using absent words |
3 |
| Logical characterization of branching metrics for nondet... |
3 |
| Imperfect information in Reactive Modules games |
2 |
| Compositional and symbolic synthesis of reactive control... |
2 |
| Descriptional complexity of limited automata |
2 |
