The main objective of this research paper is to investigate the local
co...
Traffic systems are multi-agent cyber-physical systems whose performance...
We study the differential privacy of sequential statistical inference an...
Probabilistic Computation Tree Logic (PCTL) is frequently used to formal...