2875 search results - page 161 / 575 » Model checking agentspeak |
70
Voted
SPIN
2004
Springer
15 years 6 months ago
2004
Springer
TACAS
2004
Springer
15 years 6 months ago
2004
Springer
92
Voted
VMCAI
2004
Springer
15 years 6 months ago
2004
Springer
90
Voted
VMCAI
2004
Springer
15 years 6 months ago
2004
Springer
DATE
2003
IEEE
15 years 6 months ago
2003
IEEE
: Binary Decision Diagrams (BDDs) have been widely used in synthesis and verification. Boolean Satisfiability (SAT) Solvers, on the other hand, have been gaining