360 search results - page 30 / 72 » Hybrid Branching-Time Logics |
IGPL
2000
14 years 11 months ago
2000
LPAR
2010
Springer
14 years 9 months ago
2010
Springer
VMCAI
2009
Springer
15 years 6 months ago
2009
Springer
A new approach based on constraint solving techniques was recently proposed for verification of hybrid systems. This approach works by searching for inductive invariants of a give...
109
click to vote
EH
2003
IEEE
15 years 5 months ago
2003
IEEE
In this paper, we perform a comparative study of different heuristics used to design combinational logic circuits. The use of local search hybridized with a genetic algorithm and ...
101
click to vote
IJCAI
2003
15 years 1 months ago
2003
The evolution of Description Logics (DLs) and Propositional Dynamic Logics produced a hierar chy of decidable logics with multiple maximal el ements. It would be desirable to ...