Concepedia

Benedikt Bollig

BB

11

Publications

332

Citations

10

H-Index

2002

Active since

Affiliations

École Normale Supérieure Paris-Saclay(Current)

Laboratoire Spécification et Vérification

Centre National de la Recherche Scientifique

RWTH Aachen University

Technical University of Munich

Benedikt Bollig is an author at École Normale Supérieure Paris-Saclay specializing in formal methods, automated reasoning, and engineering.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationVerificationSystems EngineeringMachine LearningFormal SpecificationComputational Linguistics

Publications per year

2002–2014

11

Publications

11

Angluin-Style Learning of NFA

Benedikt Bollig, Peter Habermehl, Carsten Kern et al. · RWTH Publications (RWTH Aachen) · 2008 · 97 citations · Full text

Controller synthesis for probabilistic systems

Christel Baier, Marcus Größer, Martin Leucker et al. · 2004 · 72 citations

Message-passing automata are expressively equivalent to EMSO logic

Benedikt Bollig, Martin Leucker · Theoretical Computer Science · 2006 · 37 citations

Logical Automaton, Engineering, Automated Reasoning +6

Learning Communicating Automata from MSCs

Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern et al. · IEEE Transactions on Software Engineering · 2010 · 28 citations

Artificial Intelligence, Fifo Buffers, Engineering +20

A Robust Class of Data Languages and an Application to Learning

Benedikt Bollig, Peter Habermehl, Martin Leucker et al. · Logical Methods in Computer Science · 2014 · 22 citations · Full text

Data Representation, Engineering, Machine Learning +27

Rows per page

1–5 of 11