Does It Pay to Extend the Perimeter of a World Model?

Damm, Werner and Finkbeiner, Bernd
(2011) Does It Pay to Extend the Perimeter of a World Model?
In: Proceedings of the 17th International Symposium on Formal Methods (FM'11).
Conference: None | Not Set

Full text not available from this repository.

Actions

Actions (login required)

View Item View Item