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

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing 2014 · cs.LOShow all

1 paper · 2 filters

cs.LO2014★ 2 cited

Automata Techniques for Epistemic Protocol Synthesis

Guillaume Aucher, Bastien Maubert, Sophie Pinchinat

In this work we aim at applying automata techniques to problems studied in Dynamic Epistemic Logic, such as epistemic planning. To do so, we first remark that repeatedly executing…