Registered user since Thu 9 Apr 2026
Name:Alexandros Evangelidis
Country:United Kingdom
Affiliation:University of York, UK
Research interests:Policy synthesis and verification, probabilistic model checking, scalable verification for robotic and autonomous systems, stochastic games
Contributions
Using general profile