Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Learning communicating state machines - MaRDI portal

Learning communicating state machines

From MaRDI portal

Publication:6536172

Jump to:navigation, search

DOI10.1007/978-3-030-31157-5_8zbMath1539.68121MaRDI QIDQ6536172

Florent Avellaneda, Alexandre Petrenko

Publication date: 5 April 2024

zbMATH Keywords

adaptive testing SAT solving conformance testing component-based systems active inference communicating FSMs FSM learning testing in context

Mathematics Subject Classification ID

Computational learning theory (68Q32) Formal languages and automata (68Q45) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

This page was built for publication: Learning communicating state machines

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:6536172&oldid=40059774"