Auflistung Nach Schlagwort "Theorem Proving" - Digitale Bibliothek - Gesellschaft für Informatik e.V.

Anzeige der Dokumente 1-3 von 3

«
»

Formal Verification of Intelligent Hybrid Systems that are modeled with Simulink and the Reinforcement Learning Toolbox

Adelt, Julius; Liebrenz, Timm; Herber, Paula
29-30
Higher-order theorem proving and its applications

Steen, Alexander
187-191
Understanding Parameters of Deductive Verification: An Empirical Investigation of KeY

Knüppel, Alexander; Thüm, Thomas; Pardylla, Carsten Immanuel; Schaefer, Ina
165-166

Anzeige der Dokumente 1-3 von 3

«
»