Ingo Pill

From MaRDI portal
Person:2165515

Available identifiers

zbMath Open pill.ingoDBLP49/690WikidataQ102361342 ScholiaQ102361342MaRDI QIDQ2165515

List of research outcomes





PublicationDate of PublicationType
Active model learning of stochastic reactive systems2023-05-26Paper
Learning finite state models from recurrent neural networks2022-08-19Paper
Fault detection and localization using Modelica and abductive reasoning2020-08-20Paper
Synthesizing adaptive test strategies from temporal logic specifications2019-12-18Paper
Optimizations for the Boolean approach to computing minimal hitting sets2015-12-11Paper
SYMBOLIC IMPLEMENTATION OF ALTERNATING AUTOMATA2008-05-20Paper
Symbolic Implementation of Alternating Automata2007-09-06Paper

Research outcomes over time

This page was built for person: Ingo Pill

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2165515&oldid=6258974"
Powered by MediaWiki