Safety Verification and Universal Invariants for Relational Action Bases.

Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin

Browse the full IJCAI paper archive.