Grey-Box Learning of Register Automata

机译：注册自动机的灰盒学习

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Bharat Garhewal; Frits Vaandrager; Falk Howar; Timo Schrijvers; Toon Lenaerts; Rob Smits;
展开▼
作者单位

展开▼
年度 2020
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Quantified data automata for linear data structures: a register automaton model with applications to learning invariants of programs manipulating arrays and lists [J] . Garg Pranav, Loeding Christof, Madhusudan P., Formal Methods in System Design . 2015,第1期

机译：线性数据结构的量化数据自动机：一种寄存器自动机模型，该模型可用于学习处理数组和列表的程序的不变量
2. Learning register automata: from languages to program structures [J] . Malte Isberner, Falk Howar, Bernhard Steffen Machine Learning . 2014,第1a2期

机译：学习寄存器自动机：从语言到程序结构
3. Reinforcement learning in learning automata and cellular learning automata via multiple reinforcement signals [J] . Vafashoar Reza, Meybodi Mohammad Reza Knowledge-Based Systems . 2019,第APRa1期

机译：通过多个增强信号学习自动机和细胞学习自动机中的增强学习
4. Grey-Box Learning of Register Automata [C] . Bharat Garhewal, Frits Vaandrager, Falk Howar, International Conference on Integrated Formal Methods . 2020

机译：注册自动机的灰盒学习
5. Evaluating the Impact of Protected Learning Time for Mandatory E-Learning on Registered Nurses’ Satisfaction and Knowledge Retention [D] . Dennis, Paige C. 2019

机译：评估保护时间对强制性电子学习对注册护士的满意度和知识保留的影响
6. A New Random Forest Algorithm Based on Learning Automata [O] . Mohammad Savargiv, Behrooz Masoumi, Mohammad Reza Keyvanpour 2021

机译：一种基于学习自动机的新的随机林算法
7. Learning Register Automata with Fresh Value Generation [O] . Aarts, Fides, Fiterau-Brostean, P., Kuppens, H., 2015

机译：学习注册自动机，创造新价值

Grey-Box Learning of Register Automata

著录项

引文网络

相似文献

相关主题

期刊订阅