Petri-Net-Based Model Checking for Privacy-Critical Multiagent Systems

Mathematics

• Multi-agent Systems 100%
• Privacy 95%
• Petri Nets 84%
• Model Checking 84%
• Knowledge 57%
• Logic 33%
• Ordered Binary Decision Diagrams 31%
• Equivalence relation 31%
• Design 13%
• Explosion 12%
• Proposition 10%
• Correctness 10%
• Benchmark 10%
• Verify 8%
• Experiment 8%
• Operator 4%

Engineering & Materials Science

• Binary decision diagrams 99%
• Model checking 78%
• Petri nets 73%
• Multi agent systems 70%
• Network protocols 50%
• Explosions 35%
• Experiments 13%

Social Sciences

• privacy 62%
• equivalence 57%
• PC 19%
• decision making 11%
• experiment 11%