This web page provides companion material for the paper:
Stark: A Software Tool for the Analysis of Robustness in the unKnown environment
Getting Started with Stark
Demo