17 search results - page 4 / 4 » Applications of Craig Interpolants in Model Checking |
ICRA
2010
IEEE
13 years 3 months ago
2010
IEEE
Abstract— We present a novel algorithm to perform continuous collision detection(CCD) between non-rigid, deformable models using local advancement. Given the initial and final c...
APAL
2010
13 years 4 months ago
2010
A well-known polymodal provability logic GLP is complete w.r.t. the arithmetical semantics where modalities correspond to reflection principles of restricted logical complexity in...