Ask
Search
My library

About
Statistics
Contact
Data Protection
Accessibility
Imprint
Changelog
Frontend: v1.31.3
Backend: v1.11.4

We use cookies to provide a better user experience.

Data Protection

Data Optimizations for Constraint Automata

Jongmans, S.S.T.Q.
Arbab, F.

Publication date

January 2016

DOI

10.2168/LMCS-12(3:11)2016

Publisher

Logical Methods in Computer Science e.V.

Abstract

Contains fulltext : 166082.pdf (publisher's version ) (Open Access

Extracted data

Topics

Related items

Tackling data insufficiency: Automatically extending a (richly annotated) data set

Theijssen, D.L.
Oostdijk, N.H.J.
Halteren, H. van
Boves, L.W.J.

January 2009

Contains fulltext : 79329.pdf (author's version ) (Open Access

Axiomatizing Timed Automata with Deadlines

D`Argenio, P.R.
Gebremichael-Tesfagiorgis, B.

January 2006

Contains fulltext : 36063.pdf (preprint version ) (Open Access)29 p p

Optimality Theoretic Semantics

Hoop, H. de
Hendriks, P.

January 2001

Contains fulltext : M_161813.pdf (publisher's version ) (Closed access)32 p

How to handle constraints with evolutionary algorithms

Craenen, B.G.W.
Eiben, A.E.
Marchiori, E.

January 2001

Contains fulltext : 84516.pdf (author's version ) (Closed access

Benchmarks for Automata Learning and Conformance Testing

Neider, D.
Smetsers, R.
Vaandrager, F.W.
Kuppens, H.C.W.

January 2019

Contains fulltext : 204557.pdf (preprint version ) (Closed access) ...

On the origin of constraints

Lestrade, S.
Bergen, G. van
Swart, P.J.F. de

January 2016

Contains fulltext : 162549pre.pdf (preprint version ) (Open Access

Approximate inference and constrained optimization

Heskes, T.
Albers, C.A.
Kappen, H.J.

January 2003

Contains fulltext : 100940.pdf (preprint version ) (Open Access)UAI'0

Slowly synchronizing automata with fixed alphabet size

Don, H.
Zantema, Hans
Bondt, Michiel de

January 2021

Contains fulltext : 236283.pdf (Publisher’s version ) (Closed access

Proving concurrent constraint programs correct

Boer, F.S. de
Gabbrielli, M.
Marchiori, E.
Palamidessi, C.

January 1997

Contains fulltext : 84499.pdf (preprint version ) (Open Access)41 p

Applying Automata Learning to Embedded Control Software

Smeenk, W.
Moerman, J.S.
Vaandrager, F.
Jansen, D.N.

January 2015

Contains fulltext : 149042.pdf (preprint version ) (Closed access

Algorithms for Inferring Register Automata

Aarts, F.D.
Howar, F.
Kuppens, H.C.W.
Vaandrager, F.

January 2014

Contains fulltext : 132764.pdf (preprint version ) (Closed access

Lower Bounds for Synchronizing Word Lengths in Partial Automata

Bondt, Michiel de
Don, H.
Zantema, Hans

January 2019

Contains fulltext : 201810.pdf (preprint version ) (Open Access

Regular Varieties of Automata and Coequations

Salamanca, J.
Ballester-Bolinches, A.
Bonsangue, M.M.
Cosme-Llópez, E.
Rutten, J.J.M.M.

January 2015

Contains fulltext : 143770.pdf (preprint version ) (Open Access

Enhancing Automata Learning by Log-Based Metrics

Bos, P. van den
Smetsers, R.
Vaandrager, F.

January 2016

Contains fulltext : 159559.pdf (preprint version ) (Open Access

Automata Learning Through Counterexample-Guided Abstraction Refinement

Aarts, Fides
Heidarian, F.
Kuppens, H.
Olsen, P.
Vaandrager, F.

January 2012

Contains fulltext : 103865.pdf (author's version ) (Closed access

Tackling data insufficiency: Automatically extending a (richly annotated) data set

Theijssen, D.L.
Oostdijk, N.H.J.
Halteren, H. van
Boves, L.W.J.

January 2009

Contains fulltext : 79329.pdf (author's version ) (Open Access

Axiomatizing Timed Automata with Deadlines

D`Argenio, P.R.
Gebremichael-Tesfagiorgis, B.

January 2006

Contains fulltext : 36063.pdf (preprint version ) (Open Access)29 p p

Optimality Theoretic Semantics

Hoop, H. de
Hendriks, P.

January 2001

Contains fulltext : M_161813.pdf (publisher's version ) (Closed access)32 p

How to handle constraints with evolutionary algorithms

Craenen, B.G.W.
Eiben, A.E.
Marchiori, E.

January 2001

Contains fulltext : 84516.pdf (author's version ) (Closed access

Benchmarks for Automata Learning and Conformance Testing

Neider, D.
Smetsers, R.
Vaandrager, F.W.
Kuppens, H.C.W.

January 2019

Contains fulltext : 204557.pdf (preprint version ) (Closed access) ...

On the origin of constraints

Lestrade, S.
Bergen, G. van
Swart, P.J.F. de

January 2016

Contains fulltext : 162549pre.pdf (preprint version ) (Open Access

Approximate inference and constrained optimization

Heskes, T.
Albers, C.A.
Kappen, H.J.

January 2003

Contains fulltext : 100940.pdf (preprint version ) (Open Access)UAI'0

Slowly synchronizing automata with fixed alphabet size

Don, H.
Zantema, Hans
Bondt, Michiel de

January 2021

Contains fulltext : 236283.pdf (Publisher’s version ) (Closed access

Proving concurrent constraint programs correct

Boer, F.S. de
Gabbrielli, M.
Marchiori, E.
Palamidessi, C.

January 1997

Contains fulltext : 84499.pdf (preprint version ) (Open Access)41 p

Applying Automata Learning to Embedded Control Software

Smeenk, W.
Moerman, J.S.
Vaandrager, F.
Jansen, D.N.

January 2015

Contains fulltext : 149042.pdf (preprint version ) (Closed access

Algorithms for Inferring Register Automata

Aarts, F.D.
Howar, F.
Kuppens, H.C.W.
Vaandrager, F.

January 2014

Contains fulltext : 132764.pdf (preprint version ) (Closed access

Lower Bounds for Synchronizing Word Lengths in Partial Automata

Bondt, Michiel de
Don, H.
Zantema, Hans

January 2019

Contains fulltext : 201810.pdf (preprint version ) (Open Access

Regular Varieties of Automata and Coequations

Salamanca, J.
Ballester-Bolinches, A.
Bonsangue, M.M.
Cosme-Llópez, E.
Rutten, J.J.M.M.

January 2015

Contains fulltext : 143770.pdf (preprint version ) (Open Access

Enhancing Automata Learning by Log-Based Metrics

Bos, P. van den
Smetsers, R.
Vaandrager, F.

January 2016

Contains fulltext : 159559.pdf (preprint version ) (Open Access

Automata Learning Through Counterexample-Guided Abstraction Refinement

Aarts, Fides
Heidarian, F.
Kuppens, H.
Olsen, P.
Vaandrager, F.

January 2012

Contains fulltext : 103865.pdf (author's version ) (Closed access

Tackling data insufficiency: Automatically extending a (richly annotated) data set

Theijssen, D.L.
Oostdijk, N.H.J.
Halteren, H. van
Boves, L.W.J.

January 2009

Contains fulltext : 79329.pdf (author's version ) (Open Access

Axiomatizing Timed Automata with Deadlines

D`Argenio, P.R.
Gebremichael-Tesfagiorgis, B.

January 2006

Contains fulltext : 36063.pdf (preprint version ) (Open Access)29 p p

Optimality Theoretic Semantics

Hoop, H. de
Hendriks, P.

January 2001

Contains fulltext : M_161813.pdf (publisher's version ) (Closed access)32 p