research
∙
04/26/2021
Fast Falsification of Neural Networks using Property Directed Testing
Neural networks are now extensively used in perception, prediction and c...
share
research
∙
01/18/2021
HAMMER: Multi-Level Coordination of Reinforcement Learning Agents via Learned Messaging
Cooperative multi-agent reinforcement learning (MARL) has achieved signi...
research
∙
09/01/2020
Machine Reasoning Explainability
As a field of AI, Machine Reasoning (MR) uses largely symbolic means to ...
research
∙
12/18/2018
Smart Contracts for Multiagent Plan Execution in Untrusted Cyber-physical Systems
Intelligent Cyber-physical systems can be modelled as multi-agent system...
research
∙
02/26/2018