Title | ||
---|---|---|
Compositional verification for reactive multi-agent systems applied to platoon non collision verification. |
Year | Venue | Keywords |
---|---|---|
2012 | Stud. Inform. Univ. | state space,multi agent system,model checking |
Field | DocType | Volume |
Computer vision,Abstraction,Platoon,Computer science,Multi-agent system,Collision,Real-time computing,Artificial intelligence,State space,Distributed computing,Safety property | Journal | 10 |
Issue | Citations | PageRank |
3 | 3 | 0.42 |
References | Authors | |
10 | 5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Madeleine El-Zaher | 1 | 16 | 1.95 |
Jean-Michel Contet | 2 | 85 | 11.01 |
Pablo Gruer | 3 | 213 | 21.95 |
Franck Gechter | 4 | 155 | 26.99 |
Abderrafiaa Koukam | 5 | 257 | 32.99 |