7.2k citations
- Centre National de la Recherche ScientifiqueFR791 papers
- University of Maryland, College ParkUS744 papers
- Centro Brasileiro de Pesquisas FísicasBR694 papers
- University of ZurichCH688 papers
- Institut National de Physique Nucléaire et de Physique des ParticulesFR676 papers
- Imperial College LondonGB641 papers
- Massachusetts Institute of TechnologyUS631 papers
- University College DublinIE626 papers
- Istituto Nazionale di Fisica Nucleare, Sezione di Roma IIT624 papers
- Istituto Nazionale di Fisica Nucleare, Sezione di BolognaIT615 papers
- European Organization for Nuclear ResearchCH612 papers
- Istituto Nazionale di Fisica Nucleare, Sezione di GenovaIT611 papers
Showing 2019 · cs.LOShow all
2 papers · 2 filters
cs.LO2019★ 6 cited
Learning definable hypotheses on trees
Emilie Grienenberger, Martin Ritzert
We study the problem of learning properties of nodes in tree structures. Those properties are specified by logical formulas, such as formulas from first-order or monadic second-ord…
cs.LO2019★ 1 cited
Flat Model Checking for Counting LTL Using Quantifier-Free Presburger Arithmetic
Normann Decker, Anton Pirogov
This paper presents an approximation approach to verifying counter systems with respect to properties formulated in an expressive counting extension of linear temporal logic. It ca…