Secure Formal Raising: Protecting the Development of AI through Executable Properties

Rolf Drechsler, Christina Plump

Model raising revisits Turing's developmental view of machine intelligence. Formal Raising (FR) has recently been proposed to complement this view with explicit behavioral properti…