Automatic Creation of Environment Models via Training.

Thomas Ball, Vladimir Levin, Fei Xie

Browse the full TACAS paper archive.