diff --git a/biblio-web.bib b/biblio-web.bib index 4e84e7c..2af1aca 100644 --- a/biblio-web.bib +++ b/biblio-web.bib @@ -14,3 +14,51 @@ year = {2004}, urldate = {2012-07-23} } + +@misc{automata-wiki, + author = {Frits Vaandrager and + Fides Aarts and + Petra van den Bos and + Alexander Fedotov and + Paul Fiterau-Brostean and + Falk Howar and + Harco Kuppens and + Joshua Moerman and + Daniel Neider and + Erik Poll and + Joeri de Ruiter}, + title = {The Automata Wiki}, + note = {Website}, + url = {http://automata.cs.ru.nl/} +} + +@misc{minimal-separating-sequences-code, + author = {Rick Smetsers and + Joshua Moerman}, + title = {Partition}, + note = {Website}, + url = {https://gitlab.science.ru.nl/rick/partition/} +} + +@misc{ons-code, + author = {David Venhoek and + Joshua Moerman}, + title = {ONS}, + note = {Website}, + url = {https://github.com/davidv1992/ONS} +} + +@misc{hybrid-ads-code, + author = {Joshua Moerman}, + title = {Hybrid {ADS}}, + note = {Website}, + url = {https://gitlab.science.ru.nl/moerman/hybrid-ads} +} + +@misc{lois-lstar-code, + url = {github.com/eryxcc/lois/blob/master/tests/learning.cpp} +} + +@misc{nominal-lstar-conjecture, + url = {joshuamoerman.nl/papers/2017/17popl-learning-nominal-automata.html} +} diff --git a/content.tex b/content.tex index bfe4f5d..c8a2d08 100644 --- a/content.tex +++ b/content.tex @@ -26,13 +26,13 @@ \startbodymatter \component content/introduction -\startpart[title={Testing Techniques}] +\startpart[title={Testing Techniques}, reference=part:testing] \component content/test-methods \component content/applying-automata-learning \component content/minimal-separating-sequences \stoppart -\startpart[title={Nominal Techniques}] +\startpart[title={Nominal Techniques}, reference=part:nominal] \component content/learning-nominal-automata \component content/ordered-nominal-sets \component content/separated-nominal-automata diff --git a/content/test-methods.tex b/content/test-methods.tex index c68c402..9e691be 100644 --- a/content/test-methods.tex +++ b/content/test-methods.tex @@ -1211,7 +1211,7 @@ Recently, \citet[GrozSPO16] give a deterministic learning algorithm for non-rese Many of the methods described here are benchmarked on small or random Mealy machines by \citet[DorofeevaEMCY10, EndoS13]. The benchmarks are of limited scope, the machine from \in{Chapter}[chap:applying-automata-learning], for instance, is neither small nor random. -For this reason, we started to collect more realistic benchmarks at \href{http://automata.cs.ru.nl/}. +For this reason, we started to collect more realistic benchmarks at \citeurl[automata-wiki]. \stopsection diff --git a/environment/bib.tex b/environment/bib.tex index b32c5b8..b9fcc4e 100644 --- a/environment/bib.tex +++ b/environment/bib.tex @@ -12,9 +12,12 @@ \usebtxdataset[../biblio-web.bib] \setupbtx[apa:cite][etallimit=2,separator:4={ and }] +\setupbtx[apa:cite:url[left={}, right={}] % interaction in de lijst lijkt stuk te zijn? -\setupbtx[apa:list][interaction=stop] +\setupbtx[apa:list][interaction=no] \setupbtxrendering[pagestate=start] % print pagina nummers +\setupbtxlist[apa][margin=1.75em] + % The dblp database ignores Pauls nice a-breve and s-comma \btxremapauthor [Paul Fiterau{-}Brostean] [Paul Fiterău-Broștean] @@ -27,6 +30,7 @@ \def\citenp[#1]{\cite[left=,right=][#1]} % Bla and Foo, 2015 \def\citet[#1]{\cite[authoryears][#1]} % Bla and Foo (2015) \def\citep[#1]{\cite[authoryear][#1]} % (Bla and Foo, 2015) +\def\citeurl[#1]{\cite[alternative=url,left=,right=][#1]} % url %\cite[lefttext={See },righttext={ p.\nbsp yy}][book] -> (See Bla, Foo & Baz, 2015, p. yy)