Proceedings of the 2014 ACM SIGPLAN Conference on Object Oriented Programming, Systems, Languages, and Applications, October 20 - 24, 2014, Portland, Oregon, USA, Part of: SPLASH 2...

Veröffentlicht 2014

COUNTEREXAMPLE-GUIDED LEARNING OF MONOTONIC NEURAL NETWORKS

von Sivaraman, Aishwarya
Veröffentlicht in NeurIPS (34. : 2020 : Online) 34th Conference on Neural Information Processing Systems (NeurIPS 2020) ; Volume 15 of 27 (2021)

Babelsberg/RML : Executable semantics and language testing with RML

von Felgentreff, Tim
Veröffentlicht 2016

Model Checking Finite-Horizon Markov Chains with Probabilistic Inference

von Holtzen, Steven
Veröffentlicht in CAV (33. : 2021 : Online) Computer aided verification ; Part 2 (2021)