Latest Articles for Specification Refinement

A new method for finding minimal unsatisfiable cores in linear temporal logic.

Antonio Ielo, Giuseppe Mazzotta, Rafael Peñaloza

2025-06-12T02:52:12+00:00 ― 5 min read