Search filters

List of works by Malte Isberner

Automated Learning Setups in Automata Learning

Property-driven benchmark generation: synthesizing programs of realistic structure

Synthesizing Semantic Web Service Compositions with jMosel and Golog

article

Tailored generation of concurrent benchmarks

Paulina is supported by:

About Paulina

Help