17 search results - page 4 / 4 » Applications of Craig Interpolants in Model Checking |
149
click to vote
ICRA
2010
IEEE
14 years 10 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...
76
Voted
APAL
2010
14 years 11 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...