Automata Wiki

↑ To Benchmarks

Biometric passport

Description
Bibliography

Benchmark models

Register

Learning examples

Manual Mapper

print · login

Home » BenchmarkPassport-AartsEtAl2010 » ExtraMealy

Models derived by flattening register model for several domains

passport.flat_0_1.dot
passport.flat_0_2.dot
passport.flat_0_3.dot
passport.flat_0_4.dot
passport.flat_0_5.dot
passport.flat_0_6.dot
passport.flat_0_7.dot
passport.flat_0_8.dot
passport.flat_0_9.dot
passport.flat_0_10.dot