People and topics related to Agent-based model

People and topics related to Agent-based model clare dixon Clare Dixon Verification Verification clare dixon--Verification Automated reasoning Automated reasoning clare dixon--Automated reasoning Modal logic Modal logic clare dixon--Modal logic Symbolic AI Symbolic AI clare dixon--Symbolic AI Autonomous systems Autonomous systems clare dixon--Autonomous systems Reliability, robustness and trust Reliability, robustness and trust clare dixon--Reliability, robustness and trust Swarm robotics Swarm robotics clare dixon--Swarm robotics jon shapiro Jon Shapiro Agent-based model Agent-based model jon shapiro--Agent-based model Poker Poker jon shapiro--Poker Reinforcement learning Reinforcement learning jon shapiro--Reinforcement learning Modelling biological systems Modelling biological systems jon shapiro--Modelling biological systems Machine learning Machine learning jon shapiro--Machine learning Statistical models Statistical models jon shapiro--Statistical models Swarm intelligence Swarm intelligence jon shapiro--Swarm intelligence