Paul Piho
Papers
1
Total Citations
2
H-Index
1
About
Paul Piho is a researcher focused on the formal modelling and analysis of collective adaptive systems, with a particular emphasis on resource-aware behaviour and quantitative verification. His most cited work, "Goals and Resource Constraints in CARMA" (2018), addresses a critical gap in the CARMA modelling language—a high-level formalism designed for collective adaptive systems. Piho’s contribution extends CARMA by integrating explicit goal specifications and resource constraints into agent behaviour, enabling more realistic simulations of systems where agents must balance competing objectives under limited resources. This work has garnered 2 citations, reflecting its niche but foundational role in advancing formal methods for adaptive systems. Piho’s research bridges theoretical computer science and practical system design, offering tools to model complex interactions in domains like swarm robotics, traffic management, and distributed computing. His efforts contribute to making CARMA a more expressive and applicable language for engineers and researchers tackling real-world collective behaviour problems.
Research Focus
Key Achievements
Top Papers
- 1Goals and Resource Constraints in CARMA2 citations · 2018