Key Sequence

Notation

New Concepts

• falsification

Important Results / Claims

a bunch of ways to do falsification

• direct falsification
• disturbances
• fuzzing
• disturbance optimization

Questions

Interesting Factoids