On multi-agent hybrid system verification: Modeling in verse, star sets, and user studies