Expand description
Falsifiable simulation traits for EDD.
Every simulation in the EDD framework must be falsifiable. This module
provides the FalsifiableSimulation trait that defines how simulations
can be actively tested for falsification.
§EDD-04: Falsification Criteria
Claim: Every model has explicit conditions for refutation. Rejection Criteria: Model without falsification tests.
§References
- [1] Popper, K. (1959). The Logic of Scientific Discovery
- [11] Donzé, A. & Maler, O. (2010). Robust Satisfaction of Temporal Logic (STL)
Structs§
- Experiment
Seed - Seed management for reproducible experiments.
- Falsification
Result - Result of a falsification search.
- Param
Space - Parameter space for falsification search.
- Trajectory
- A trajectory of simulation states over time.
Traits§
- Falsifiable
Simulation - Trait for simulations that can be falsified.