Source code and data relevant for the paper 'Model Learning as a Satisfiability Modulo Theories Problem'

DOI

This datasets belongs to the following paper: Model Learning as a Satisfiability Modulo Theories Problem.URL = http://www.sws.cs.ru.nl/publications/papers/fvaan/SMT/main.pdfThe dataset contains the source code of the tool implementing the SMT-based approach described in the paper, the setups/scripts used to run experiments and experimental logs.Paper Abstract: We explore an approach to model learning that is based on using satisfiability modulo theories (SMT) solvers. To that end, we explain how DFAs, Mealy machines and register automata, and observations of their behavior can be encoded as logic formulas. An SMT solver is then tasked with finding an assignment for such a formula, from which we can extract an automaton of minimal size. We provide an implementation of this approach which we use to conduct experiments on a series of benchmarks. These experiments address both the scalability of the approach and its performance relative to existing active learning tools.

Identifier
DOI https://doi.org/10.17026/dans-xn2-yewe
Metadata Access https://phys-techsciences.datastations.nl/oai?verb=GetRecord&metadataPrefix=oai_datacite&identifier=doi:10.17026/dans-xn2-yewe
Provenance
Creator R.H.A.M. Smetsers; P. Fiterau-Brostean; F.W. Vaandrager
Publisher DANS Data Station Physical and Technical Sciences
Contributor RU Radboud University
Publication Year 2018
Rights CC BY 4.0; info:eu-repo/semantics/openAccess; http://creativecommons.org/licenses/by/4.0
OpenAccess true
Contact RU Radboud University
Representation
Resource Type Dataset
Format text/x-python; text/x-java-source; application/msword; application/octet-stream; text/plain; application/java-archive; text/plain; charset=US-ASCII; application/zip; application/pdf; application/json; text/xml; text/markdown; application/x-msdownload
Size 1821; 8946; 17557; 677; 2064; 2126; 1663; 6131; 987; 353; 136; 137; 149; 125; 131; 130; 148; 2299; 1570; 2727; 2213560; 247; 872; 695; 801; 1199; 1958; 1270; 2759; 2996; 2387; 2316; 4889; 3812; 3431; 4049; 3122; 3193; 5126; 5703; 7721; 7961; 4484; 5110; 5940; 4246; 5419; 9687; 8418; 8171; 5924; 6233; 9936; 9922; 10247; 3650; 3561; 3930; 3935; 3933; 3652; 3569; 3701; 3571; 3920; 2061; 993; 2076; 1595; 1593; 1596; 197; 1581; 3609; 2068776; 0; 321108; 323503; 322651; 322501; 329374; 323139; 323669; 325180; 323872; 322352; 321217; 322533; 323400; 323260; 324188; 323338; 320888; 323499; 322449; 324601; 1484; 5277; 2239; 2155; 1239; 1938; 325559; 6696; 6173; 6223; 2309; 2366; 6789; 2033; 1871; 1018; 1003; 6; 303; 438; 316; 366; 411; 452; 213; 167; 309; 840; 444; 404; 354; 464; 421; 262; 214; 173; 361; 974; 582; 2507; 449; 281; 1375; 866; 639; 400; 1777; 990; 4709; 830; 511; 1114; 1372; 5750; 630; 1498; 8454; 5106; 797; 643; 9977; 746; 6273; 796; 7308; 364; 28303; 7742; 7657500; 37183; 4717; 1041; 3962; 6944; 1093; 3557; 3942; 3681; 3699; 2498; 1293; 12118; 76896; 77777; 89901; 33800; 28202; 15715; 33462; 26818; 12399; 26820; 12120; 66521; 15050; 15048; 79537; 12124; 66384; 29742; 15072; 78746; 30114; 77679; 27936; 29939; 12403; 79414; 77787; 76725; 29724; 33753; 28200; 29695; 65669; 79061; 29455; 33797; 29929; 88743; 28190; 28687; 15374; 26978; 79267; 34129; 79313; 27934; 79496; 15340; 79007; 27904; 33460; 15338; 66517; 27100; 33637; 26977; 28577; 67315; 3707; 3806; 3102; 7403; 1462; 6296; 2070; 5431; 9307; 1528; 3746; 2079; 2096; 2382; 5658; 3832; 560; 2293; 3783; 13873; 16929; 14937; 3074; 10672; 5558; 3228; 55; 260; 9603; 9406; 7315; 2546; 2479; 940; 150; 1377; 2812; 13304510; 2354; 1223; 791; 9029; 4638; 5714; 10281; 5710; 4637; 9164; 8033; 8036; 9163; 9161; 9156; 4639; 9155; 4636; 5709; 5713; 9072; 9032; 10280; 9074; 9172; 8035; 9031; 9160; 5711; 5716; 4635; 9030; 9036; 5712; 8039; 8032; 4641; 9076; 9073; 9033; 4640; 9154; 9158; 8950; 20442; 18061; 8951; 11323; 18137; 11334; 8949; 11318; 17682; 11335; 8947; 20190; 11332; 18055; 20439; 18047; 18130; 18063; 20448; 17668; 20487; 20184; 8953; 18131; 20450; 8948; 11321; 18048; 17716; 20142; 20181; 11338; 11324; 18133; 18134; 18066; 11322; 11327; 20438; 20437; 11319; 18139; 22912; 18062; 22966; 18064; 18132; 11326; 8952; 18054; 11328; 11320; 18051; 17723; 8954; 17674; 18053; 3209; 140; 156; 12986; 14233; 14262; 12936; 1858; 1231; 1170; 1808; 2530; 270; 3324241; 346; 2227; 1894; 28; 6035; 6191; 5801; 5642; 552448; 8042; 1845; 66757; 79174; 293859
Version 2.0
Discipline Other