Login / Signup
Quantitative Weakest Hyper Pre: Unifying Correctness and Incorrectness Hyperproperties via Predicate Transformers.
Linpeng Zhang
Noam Zilberstein
Benjamin Lucien Kaminski
Alexandra Silva
Published in:
CoRR (2024)
Keyphrases
</>
qualitative and quantitative
multiscale
user interface
neural network
machine learning
search engine
image processing
digital libraries
multiresolution
first order logic