Formal Methods
379 papers
Papers per year
2
2
1
1
2
19
28
37
47
31
40
34
54
62
19
'20
'25
Papers
Guaranteeing High-Level Behaviors while Exploring Partially Known Maps
RSS 2012
Learning and Model-Checking Networks of I/O Automata
ACML 2012
An Instantiation-Based Theorem Prover for First-Order Programming
AISTATS 2011
On the Completeness of First-Order Knowledge Compilation for Lifted Probabilistic Inference
NeurIPS 2011