Writing

• Research project structure
• Research_Project

Thesis notes

• Paper - Minimalist Coherent Swarming of Wireless Networked Autonomous Mobile

Definitions

• Swarm
• Swarm behaviours
• Primary problems within collective decision making
• Model checking
• Program analysis
• Temporal verification
• Concurrency within swarm
• State explosion problem
• Introduction to UPPAAL
• Guarded commands
• Finite-state machine
• Timed automaton
• Timed automata in UPPAAL
• Expressions in UPPAAL
• Mutex in UPPAAL
• Time in UPPAAL
• Verifying properties in UPPAAL

Implementation notes

• Recreating basic algorithm in UPPAAL pt.1
• Recreating basic algorithm in UPPAAL pt.2
• Recreating basic algorithm in UPPAAL pt.3
• Recreating alpha algorithm in UPPAAL pt.1
• Recreating alpha algorithm in UPPAAL pt.2

Summaries

1. Paper - Property-Driven Design for Swarm Robotics
2. Paper - Towards Temporal Verification of Emergent Behaviours in Swarm Robotic Systems
3. Paper - Formal Verification of Probabilistic Swarm Behaviours
4. Paper - On Formal Specification of Emergent Behaviours in Swarm Robotic Systems

Relevant papers

1. Property-Driven Design for Swarm Robotics
2. Towards Temporal Verification of Emergent Behaviours in Swarm Robotic Systems
3. Formal Verification of Probabilistic Swarm Behaviours
4. On Formal Specification of Emergent Behaviours in Swarm Robotic Systems
5. Using Situated Communication in Distributed Autonomous Mobile Robotics
6. Timed Automata - Semantics, Algorithms and Tools
7. UPPAAL in a Nutshell
8. Minimalist Coherent Swarming of Wireless Networked Autonomous Mobile Robots
9. Automata For Modelling Real-Time Systems

Alessio Lomuscio

Publications of Alessio Lomuscio

1. A Counter Abstraction Technique for the Verification of Probabilistic Swarm Systems
2. A Counter Abstraction Technique for the Verification of Robot Swarms
3. Formal Verification of Opinion Formation in Swarms
4. Verifying Emergence of Bounded Time Properties in Probabilistic Swarm Systems
5. Verifying Emergent Properties of Swarms
6. Verifying Fault-Tolerance in Probabilistic Swarm Systems

Other Summaries

• Papers - overview, w6
• Paper - Swarm Robotic Behaviors and Current Applications
• Paper - Collective Decision Making in Swarm Robotics with Distributed Bayesian Hypothesis Testing
• Paper - Autonomous UAV Swarm; Behavior Generation and Simulation

Other Papers

• Collective Decision Making in Swarm Robotics with Distributed Bayesian Hypothesis Testing
• Collective Perception in a Swarm of Autonomous Robots
• Past, Present, and Future of Swarm Robotics
• Sophisticated collective foraging with minimalist agents, a swarm robotics test
• Swarm Robotic Behaviors and Current Applications
• Swarm Robotics, A Perspective on the Latest Reviewed Concepts and Applications
• Model Checking and the State Explosion Problem
• A Logic for Reasoning about Time and Reliability
• A Review of Probabilistic Macroscopic Models for Swarm Robotic Systems
• Autonomous UAV Swarm; Behavior Generation and Simulation
• Engineering Safety in Swarm Robotics
• On Probabilistic Computation Tree Logic

Other Notes

• Presentation - How to Research
• Obsidian notes on GitHub Pages

Other Documents

• A Small Tutorial on UPPAAL 4.0
• A Tutorial on UPPAAL 4.0
• How to Research

---

Webpage | GitHub