Konstantin Nikolaou

1PUBLICATIONS
3CO-AUTHORS
Formal methods for software
Featured researcher

Get your video featured.

JoVEPublish with JoVE
Journal

Publications (1)

|Apr 07, 2025
SwarmRL: building the future of smart active systems.

Samuel Tovey, Christoph Lohrmann, Tobias Merkt

Pageof 1