Sicco Verwer

MaRDI QIDQ420916zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
An active learning algorithm for bidirectional deterministic finite automata	2026-02-10	Paper
FlexFringe: modeling software behavior by learning probabilistic automata Logical Methods in Computer Science	2025-10-21	Paper
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 Annals of Mathematics and Artificial Intelligence	2021-08-02	Paper
Data driven design for online industrial auctions Annals of Mathematics and Artificial Intelligence	2021-08-02	Paper
Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems with IDP3 Theory and Practice of Logic Programming	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 Artificial Intelligence	2017-02-22	Paper
\textsc{PAutomaC}: a probabilistic automata and hidden Markov models learning competition Machine Learning	2014-12-05	Paper
Improving active Mealy machine learning for protocol conformance testing Machine Learning	2014-12-05	Paper
Regular inference as vertex coloring Theoretical Computer Science	2014-10-31	Paper
Modeling machine learning and data mining problems with \(\mathrm{FO}(\cdot )\)	2014-02-25	Paper
Regular inference as vertex coloring Lecture Notes in Computer Science	2012-10-16	Paper
Efficiently identifying deterministic real-time automata from labeled data Machine Learning	2012-05-23	Paper
The efficiency of identifying timed automata and the power of clocks Information and Computation	2011-07-27	Paper
Exact DFA Identification Using SAT Solvers Grammatical Inference: Theoretical Results and Applications	2010-09-10	Paper
A likelihood-ratio test for identifying probabilistic deterministic real-time automata from positive data Grammatical Inference: Theoretical Results and Applications	2010-09-10	Paper
One-Clock Deterministic Timed Automata Are Efficiently Identifiable in the Limit Language and Automata Theory and Applications	2009-04-02	Paper
Polynomial Distinguishability of Timed Automata Grammatical Inference: Algorithms and Applications	2008-10-16	Paper

Research outcomes over time

This page was built for person: Sicco Verwer