文件大小：0.59 MB 16页
自动机网络的均匀采样
作者
-
部分： 体积： 第28届并发理论国际会议（CONCUR 2017）
系列： 莱布尼茨国际信息学论文集
会议： 并行理论国际会议（CONCUR） 许可证： 
Creative Commons Attribution 3.0未出口许可证 发布日期：2017-09-01
文件
文件标识符
引用为 获取BibTex
摘要
关键词
部分同步自动机 均匀抽样； 递归方法 波尔兹曼采样 回避措施
韵律学
-
访问统计信息 总访问次数（每周更新） 0 PDF下载
参考文献
-
萨米·阿贝斯（Samy Abbes）和让·梅利斯（Jean Mairesse）。 迹拟群中的一致生成。 在G.Italiano，G.Pighizzini和D.Sannella，编辑，数学。 已找到。 计算。 Sc.2015（MFCS 2015），《计算机讲义》第9234卷第1部分。 科学。， 第63-75页。 施普林格，2015年。 
-
阿尔弗雷德·阿霍（Alfred Aho）、拉杰夫·莫特瓦尼（Rajeev Motwani）和杰弗里·厄尔曼（Jeffrey Ullman）。 自动机理论、语言和计算导论：第二版。 艾迪森·卫斯理，2001年。
-
克里斯特尔·拜尔（Christel Baier）和朱斯特·佩特尔·卡托恩（Joost-Pieter Katoen）。 模型检查原则。 麻省理工学院出版社，2008年。
-
尼古拉斯·巴塞特（Nicolas Basset）、米歇尔·索里亚（Michèle Soria）和让·梅莱斯（Jean Mairesse）。 2017年自动化网络的统一抽样。 网址： http://hal.upmc.fr/hal-01545936 . -
奥利维尔·贝尔纳迪和奥马尔·吉梅内斯。 正则语言随机抽样的线性算法。 《算法》，62（1-2）：130-1452012。
-
让·伯斯特尔（Jean Berstel）和克里斯托夫·鲁特诺尔（Christophe Reutenauer）。 非交换有理数列及其应用，数学百科全书第137卷。 和应用程序。 剑桥大学出版社，2011年。
-
奥利维尔·博迪尼（Olivier Bodini）、安托万·杰尼特里尼（Antoine Genitrini）和弗雷德里克·佩申斯基（Frédéric Peschanski）。 非决定论的组合学。 Anil Seth和Nisheeth K.Vishnoi，IARCS软件技术和理论计算机科学基础年会编辑，FSTTCS 2013年12月12-14日，印度古瓦哈蒂，LIPIcs第24卷，第425-436页。 达格斯图尔宫（Schloss Dagstuhl）-莱布尼茨-泽特鲁姆-富尔信息科技（Leibniz-Zentrum fuer Informatik），2013年。 网址： http://dx.doi.org/10.4230/LIPIcs.FSTTCS.2013.425 . -
Alexis Darrasse、Konstantinos Panagiotou、Olivier Roussel和Michele Soria。偏倚Boltzmann采样器和使用洗牌生成扩展线性语言。 DMTCS会议记录，01:125-1402012年。
-
阿兰·丹尼斯（Alain Denise）、玛丽·克劳德·高德尔（Marie-Claude Gaudel）、桑德里内·多米尼克·古罗（Sandrine-Dominique Gouraud）、理查德·拉塞涅（Richard Lassaigne）、约翰·乌迪内（Johan Oudinet）和西尔万·佩。 覆盖偏向随机探索大型模型及其在测试中的应用。 STTT，14（1）：73-932012年。 网址： http://dx.doi.org/10.1007/s10009-011-0190-1 . -
菲利普·杜雄（Philippe Duchon）、菲利普·弗拉乔莱特（Philipe Flajolet）、盖·卢查德（Guy Louchard）和吉尔斯·谢弗（Gilles Schaeffer）。 用于随机生成组合结构的Boltzmann采样器。 组合数学，概率与计算，13（4-5）：577-6252004。
-
菲利普·弗拉乔莱和罗伯特·塞奇威克。 分析组合数学。 剑桥大学出版社，纽约州纽约市，美国，2009年第1版。
-
菲利普·弗拉乔莱特（Philippe Flajolet）、保罗·齐默尔曼（Paul Zimmerman）和伯纳德·范·卡瑟姆（Bernard Van Cutsem）。 一种用于随机生成标记组合结构的微积分。 理论计算机科学，132（1）：1-351994。
-
Radu Grosu和Scott A.Smolka。 蒙特卡罗模型检查。 2005年TACAS'05。
-
德克斯特·科赞。 自然证明系统的下限。 FOCS，第77卷，第254-266页，1977年。
-
M.Lothaire先生。 单词应用组合数学（数学及其应用百科全书）。 剑桥大学出版社，纽约，纽约，美国。
-
Kuldeep S.Meel、Moshe Y.Vardi、Supratik Chakraborty、Daniel J.Fremont、Sanjit A.Seshia、Dror Fried、Alexander Ivrii和Sharad Malik。 约束采样和计数：通用哈希满足SAT解决方案。 2016年2月12日，美国亚利桑那州凤凰城2016年AAAI研讨会论文集《超越NP》编辑Adnan Darwiche，AAAI Workshops第WS-16-05卷。 AAAI出版社，2016年。 网址： http://www.aaai.org/ocs/index.php/WS/AAAIW16/paper/view/12618 . -
Mehryar Mohri。加权自动机的通用ε删除算法。 在自动化实现和应用国际会议上，第230-242页。 斯普林格，2000年。
-
马达瓦恩·穆昆德（Madhavan Mukund）。 自动处理分布式字母表。 《自动机理论的现代应用》，第257-288页。 《世界科学》，2012年。 网址： http://dx.doi.org/10.1142/9789814271059_0009 . -
约翰·乌迪内（Johan Oudinet）、阿兰·丹尼斯（Alain Denise）和玛丽·克劳德·高德尔（Marie-Claude Gaudel）。 正则语言中统一随机生成单词的新二分法算法。 西奥。 计算。 科学。， 502:165-176, 2013. 网址： http://dx.doi.org/10.1016/j.tcs.2012.07.025 . -
约翰·乌迪内（Johan Oudinet）、阿兰·丹尼斯（Alain Denise）、玛丽·克劳德·高德尔（Marie-Claude Gaudel）、理查德·拉塞涅（Richard Lassaigne）和西尔万·佩伦内特（Sylvain Peyronnet）。 统一蒙特卡罗模型检验。 在FASE 2011中，第127-140页，2011年。
-
安东尼奥·雷斯蒂沃。 洗牌产品：新的研究方向。 在语言和自动机理论与应用国际会议上，第70-81页。 施普林格，2015年。
-
A.Salomaa和M.Soittola。 形式幂级数的自动机理论方面。 施普林格出版社，1978年。