Alison R. Panisson
Papers
1
Total Citations
11
H-Index
1
About
Alison R. Panisson is a leading researcher in the intersection of multi-agent systems (MAS), runtime verification, and robotic safety. Her work centers on developing formal methods to ensure the reliable and secure operation of autonomous agents, particularly in safety-critical environments. Her most influential contribution, the paper "RV4JaCa—Towards Runtime Verification of Multi-Agent Systems and Robotic Applications" (2023, 11 citations), introduces a novel runtime verification layer integrated with the JaCaMo framework. This approach allows for real-time monitoring and enforcement of agent behavior, directly addressing security and reliability concerns in robotic applications. By bridging theoretical verification with practical deployment, Panisson’s research provides a critical safeguard for autonomous systems operating in unpredictable settings. Her work is foundational for researchers and engineers building trustworthy MAS, especially in domains like autonomous robotics and industrial automation.
Research Focus
Key Achievements
Top Papers
- 1