Sicco Verwer

Available identifiers

zbMath Open verwer.siccoMaRDI QIDQ420916

List of research outcomes

Publication	Date of Publication	Type
PDFA distillation with error bound guarantees	2025-01-20	Paper
On bidirectional deterministic finite automata	2025-01-20	Paper
Black-box combinatorial optimization using models with integer-valued minima	2021-08-02	Paper
Data driven design for online industrial auctions	2021-08-02	Paper
Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems withIDP3	2017-11-09	Paper
Learning decision trees with flexible constraints and objectives using integer optimization	2017-08-04	Paper
Auction optimization using regression trees and linear models as integer programs	2017-02-22	Paper
\textsc{PAutomaC}: a probabilistic automata and hidden Markov models learning competition	2014-12-05	Paper
Improving active Mealy machine learning for protocol conformance testing	2014-12-05	Paper
Regular inference as vertex coloring	2014-10-31	Paper
https://portal.mardi4nfdi.de/entity/Q5398039	2014-02-25	Paper
Regular Inference as Vertex Coloring	2012-10-16	Paper
Efficiently identifying deterministic real-time automata from labeled data	2012-05-23	Paper
The efficiency of identifying timed automata and the power of clocks	2011-07-27	Paper
Exact DFA Identification Using SAT Solvers	2010-09-10	Paper
A Likelihood-Ratio Test for Identifying Probabilistic Deterministic Real-Time Automata from Positive Data	2010-09-10	Paper
One-Clock Deterministic Timed Automata Are Efficiently Identifiable in the Limit	2009-04-02	Paper
Polynomial Distinguishability of Timed Automata	2008-10-16	Paper

Research outcomes over time

This page was built for person: Sicco Verwer