会员服务
Facebook AI Research · 准则 ·
2022 年 12 月 21 日
Fair Must Testing for I/O Automata
翻译：I/ O Automata 的 Fair must 测试
Rob van Glabbeek
Rob van Glabbeek
from arxiv, Dedicated to Frits Vaandrager, at the occasion of his 60th birthday

The concept of must testing is naturally parametrised with a chosen completeness criterion or fairness assumption. When taking weak fairness as used in I/O automata, I show that it characterises exactly the fair preorder on I/O automata as defined by Lynch & Tuttle.


翻译：必须测试的概念自然会与选择的完整性标准或公平性假设相匹配。 在采取I/O Automata 所使用的公平性薄弱时,我展示了它精确地说明了Lynch & Tuttle定义的I/O Automata 的公平前置顺序。
0
下载
关闭预览

相关内容

手册《兵棋推演：工具、技术和程序 》33页slides，Connections UK – Wargaming for Professionals
手册《兵棋推演：工具、技术和程序 》33页slides，Connections UK – Wargaming for Professionals
专知会员服务
40+阅读 · 2022年10月10日
不可错过！《机器学习100讲》课程，UBC Mark Schmidt讲授
不可错过！《机器学习100讲》课程，UBC Mark Schmidt讲授
专知会员服务
76+阅读 · 2022年6月28日
2020数据工程师成长路线图
专知会员服务
41+阅读 · 2020年9月6日
【跨语言BERT模型大集合】Transfer learning is increasingly going multilingual with language-specific BERT models
专知会员服务
54+阅读 · 2020年1月30日
【哈佛大学商学院课程Fall 2019】机器学习可解释性
【哈佛大学商学院课程Fall 2019】机器学习可解释性
专知会员服务
105+阅读 · 2019年10月9日
VCIP 2022 Call for Demos
VCIP 2022 Call for Demos
CCF多媒体专委会
1+阅读 · 2022年6月6日
ACM MM 2022 Call for Papers
ACM MM 2022 Call for Papers
CCF多媒体专委会
5+阅读 · 2022年3月29日
Hierarchically Structured Meta-learning
Hierarchically Structured Meta-learning
CreateAMind
27+阅读 · 2019年5月22日
Unsupervised Learning via Meta-Learning
Unsupervised Learning via Meta-Learning
CreateAMind
43+阅读 · 2019年1月3日
A Technical Overview of AI & ML in 2018 & Trends for 2019
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
18+阅读 · 2018年12月24日
基于GNSS的高速列车多源信息融合定位模型及其RAMS评估研究
国家自然科学基金
0+阅读 · 2014年12月31日
五倍子与升麻配伍活性成分抗根面龋细菌生物膜作用及机理研究
国家自然科学基金
0+阅读 · 2012年12月31日
两类Monge-Ampere方程问题的研究
国家自然科学基金
1+阅读 · 2012年12月31日
基于动态混合故障模型和进化博弈论的可生存性分析方法研究
国家自然科学基金
0+阅读 · 2009年12月31日
MMPs、TIMPs基因单核苷酸多态性与主动脉夹层发病的相关性研究
国家自然科学基金
0+阅读 · 2008年12月31日
Harms from Increasingly Agentic Algorithmic Systems
Arxiv
0+阅读 · 2023年2月20日
Robust Confidence Intervals for Meta-Regression with Interaction Effects
Arxiv
0+阅读 · 2023年2月20日
Model-X Sequential Testing for Conditional Independence via Testing by Betting
Arxiv
0+阅读 · 2023年2月19日
Uniform Bounds with Difference Quotients for Proper Orthogonal Decomposition Reduced Order Models of the Burgers Equation
Arxiv
0+阅读 · 2023年2月17日
A new approach for a proof that P is NP
Arxiv
0+阅读 · 2023年2月15日
VIP会员
文章信息
前往arXiv
下载PDF
相关主题
Facebook AI Research
准则
相关VIP内容
手册《兵棋推演：工具、技术和程序 》33页slides，Connections UK – Wargaming for Professionals
手册《兵棋推演：工具、技术和程序 》33页slides，Connections UK – Wargaming for Professionals
专知会员服务
40+阅读 · 2022年10月10日
不可错过！《机器学习100讲》课程，UBC Mark Schmidt讲授
不可错过！《机器学习100讲》课程，UBC Mark Schmidt讲授
专知会员服务
76+阅读 · 2022年6月28日
2020数据工程师成长路线图
专知会员服务
41+阅读 · 2020年9月6日
【跨语言BERT模型大集合】Transfer learning is increasingly going multilingual with language-specific BERT models
专知会员服务
54+阅读 · 2020年1月30日
【哈佛大学商学院课程Fall 2019】机器学习可解释性
【哈佛大学商学院课程Fall 2019】机器学习可解释性
专知会员服务
105+阅读 · 2019年10月9日
热门VIP内容
相关资讯
VCIP 2022 Call for Demos
VCIP 2022 Call for Demos
CCF多媒体专委会
1+阅读 · 2022年6月6日
ACM MM 2022 Call for Papers
ACM MM 2022 Call for Papers
CCF多媒体专委会
5+阅读 · 2022年3月29日
Hierarchically Structured Meta-learning
Hierarchically Structured Meta-learning
CreateAMind
27+阅读 · 2019年5月22日
Unsupervised Learning via Meta-Learning
Unsupervised Learning via Meta-Learning
CreateAMind
43+阅读 · 2019年1月3日
A Technical Overview of AI & ML in 2018 & Trends for 2019
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
18+阅读 · 2018年12月24日
相关论文
Harms from Increasingly Agentic Algorithmic Systems
Arxiv
0+阅读 · 2023年2月20日
Robust Confidence Intervals for Meta-Regression with Interaction Effects
Arxiv
0+阅读 · 2023年2月20日
Model-X Sequential Testing for Conditional Independence via Testing by Betting
Arxiv
0+阅读 · 2023年2月19日
Uniform Bounds with Difference Quotients for Proper Orthogonal Decomposition Reduced Order Models of the Burgers Equation
Arxiv
0+阅读 · 2023年2月17日
A new approach for a proof that P is NP
Arxiv
0+阅读 · 2023年2月15日
相关基金
基于GNSS的高速列车多源信息融合定位模型及其RAMS评估研究
国家自然科学基金
0+阅读 · 2014年12月31日
五倍子与升麻配伍活性成分抗根面龋细菌生物膜作用及机理研究
国家自然科学基金
0+阅读 · 2012年12月31日
两类Monge-Ampere方程问题的研究
国家自然科学基金
1+阅读 · 2012年12月31日
基于动态混合故障模型和进化博弈论的可生存性分析方法研究
国家自然科学基金
0+阅读 · 2009年12月31日
MMPs、TIMPs基因单核苷酸多态性与主动脉夹层发病的相关性研究
国家自然科学基金
0+阅读 · 2008年12月31日
Top
微信扫码咨询专知VIP会员
Top