Keyphrases
- reactive systems
- model checking
- temporal logic
- information flow
- petri net
- distance transform
- medial axis
- shape representation
- thinning algorithm
- control flow
- formal methods
- parallel thinning
- real time systems
- skeleton extraction
- artificial intelligence
- black box
- error rate
- design process
- case study
- state machines
- machine learning