Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2208.06377
Cited By
v1
v2 (latest)
Relational Action Bases: Formalization, Effective Safety Verification, and Invariants (Extended Version)
12 August 2022
S. Ghilardi
Alessandro Gianola
Marco Montali
Andrey Rivkin
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Relational Action Bases: Formalization, Effective Safety Verification, and Invariants (Extended Version)"
Title
No papers