Designing verifiable expert systems.

John Yen, Jonathan Lee, David Hamilton

Browse the full ICTAI paper archive.