Automated Verification of Social Law Robustness for Reactive Agents.
Alexander TuisovErez KarpasPublished in: ECAI (2020)
Keyphrases
- reactive agents
- automated verification
- model checking
- formal verification
- automated reasoning
- social interaction
- social media
- social networks
- social learning
- computational efficiency
- social context
- legal reasoning
- high robustness
- multi agent
- artificial intelligence
- graph theory
- social relationships
- social capital
- knowledge sharing
- temporal logic
- social networking
- virtual communities
- knowledge representation