Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
2202.07577
Cited By
v1
v2 (latest)
Weighted Programming
15 February 2022
Kevin Batz
Adrian Gallus
Benjamin Lucien Kaminski
J. Katoen
Tobias Winkler
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Weighted Programming"
1 / 1 papers shown
Quantitative Weakest Hyper Pre: Unifying Correctness and Incorrectness Hyperproperties via Predicate Transformers
Linpeng Zhang
Noam Zilberstein
Benjamin Lucien Kaminski
Alexandra Silva
84
8
0
07 Apr 2024
1
Page 1 of 1
