output
20062026
most citedTests of General Relativity with Binary Black Holes from the second LIGO-Virgo Gravitational-Wave Transient Catalog

807 citations

researchers with a paper here
collaborating institutions
Showing 2010 · cs.LOShow all

1 paper · 2 filters

cs.LO2010★ 2 cited

Verifying Temporal Regular Properties of Abstractions of Term Rewriting Systems

Benoît Boyer, Thomas Genet

The tree automaton completion is an algorithm used for proving safety properties of systems that can be modeled by a term rewriting system. This representation and verification tec…