ResearchTrend.AI
  • Communities
  • Connect sessions
  • AI calendar
  • Organizations
  • Join Slack
  • Contact Sales
Papers
Communities
Social Events
Terms and Conditions
Pricing
Contact Sales
Parameter LabParameter LabTwitterGitHubLinkedInBlueskyYoutube

© 2026 ResearchTrend.AI, All rights reserved.

  1. Home
  2. Papers
  3. 2202.07577
  4. Cited By
Weighted Programming
v1v2 (latest)

Weighted Programming

15 February 2022
Kevin Batz
Adrian Gallus
Benjamin Lucien Kaminski
J. Katoen
Tobias Winkler
ArXiv (abs)PDFHTML

Papers citing "Weighted Programming"

1 / 1 papers shown
Quantitative Weakest Hyper Pre: Unifying Correctness and Incorrectness
  Hyperproperties via Predicate Transformers
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