会员服务
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
专知会员服务
39+阅读 · 2022年10月10日
不可错过！《机器学习100讲》课程，UBC Mark Schmidt讲授
不可错过！《机器学习100讲》课程，UBC Mark Schmidt讲授
专知会员服务
73+阅读 · 2022年6月28日
NLP必读经典文献100篇
专知会员服务
123+阅读 · 2020年9月8日
2020数据工程师成长路线图
专知会员服务
39+阅读 · 2020年9月6日
【干货书】真实机器学习，264页pdf，Real-World Machine Learning
【干货书】真实机器学习，264页pdf，Real-World Machine Learning
专知会员服务
114+阅读 · 2020年4月5日
【新书：机器学习简介】《A Concise Introduction to Machine Learning》by A.C. Faul (CRC 2019)
【新书：机器学习简介】《A Concise Introduction to Machine Learning》by A.C. Faul (CRC 2019)
专知会员服务
75+阅读 · 2020年2月8日
【跨语言BERT模型大集合】Transfer learning is increasingly going multilingual with language-specific BERT models
专知会员服务
53+阅读 · 2020年1月30日
【机器学习基础最新版】（Mathematics for Machine Learning），417页pdf
【机器学习基础最新版】（Mathematics for Machine Learning），417页pdf
专知会员服务
239+阅读 · 2019年10月21日
机器学习入门的经验与建议
机器学习入门的经验与建议
专知会员服务
92+阅读 · 2019年10月10日
【哈佛大学商学院课程Fall 2019】机器学习可解释性
【哈佛大学商学院课程Fall 2019】机器学习可解释性
专知会员服务
103+阅读 · 2019年10月9日
VCIP 2022 Call for Demos
VCIP 2022 Call for Demos
CCF多媒体专委会
1+阅读 · 2022年6月6日
VCIP 2022 Call for Special Session Proposals
VCIP 2022 Call for Special Session Proposals
CCF多媒体专委会
1+阅读 · 2022年4月1日
ACM MM 2022 Call for Papers
ACM MM 2022 Call for Papers
CCF多媒体专委会
5+阅读 · 2022年3月29日
【ICIG2021】Latest News & Announcements of the Workshop
【ICIG2021】Latest News & Announcements of the Workshop
中国图象图形学学会CSIG
0+阅读 · 2021年12月20日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium5
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium5
中国图象图形学学会CSIG
1+阅读 · 2021年11月11日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium1
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium1
中国图象图形学学会CSIG
0+阅读 · 2021年11月3日
【ICIG2021】Latest News & Announcements of the Plenary Talk2
【ICIG2021】Latest News & Announcements of the Plenary Talk2
中国图象图形学学会CSIG
0+阅读 · 2021年11月2日
Hierarchically Structured Meta-learning
Hierarchically Structured Meta-learning
CreateAMind
26+阅读 · 2019年5月22日
Unsupervised Learning via Meta-Learning
Unsupervised Learning via Meta-Learning
CreateAMind
42+阅读 · 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
待字闺中
16+阅读 · 2018年12月24日
基于GNSS的高速列车多源信息融合定位模型及其RAMS评估研究
国家自然科学基金
0+阅读 · 2014年12月31日
南极天文望远镜控制系统的自主实时性能评估方法的研究
国家自然科学基金
0+阅读 · 2013年12月31日
Cache访问优化的空间数据库查询处理技术研究
国家自然科学基金
0+阅读 · 2012年12月31日
PID1对猪肌内脂肪沉积的影响及其机理研究
国家自然科学基金
0+阅读 · 2012年12月31日
五倍子与升麻配伍活性成分抗根面龋细菌生物膜作用及机理研究
国家自然科学基金
0+阅读 · 2012年12月31日
两类Monge-Ampere方程问题的研究
国家自然科学基金
1+阅读 · 2012年12月31日
和胃安神法治疗原发性失眠的作用机理研究
国家自然科学基金
0+阅读 · 2011年12月31日
基于动态混合故障模型和进化博弈论的可生存性分析方法研究
国家自然科学基金
0+阅读 · 2009年12月31日
MMPs、TIMPs基因单核苷酸多态性与主动脉夹层发病的相关性研究
国家自然科学基金
0+阅读 · 2008年12月31日
脂肪因子Chemerin在骨骼肌胰岛素抵抗发生中的作用及其机制
国家自然科学基金
0+阅读 · 2008年12月31日
Semi-implicit Integration and Data-Driven Model Order Reduction in Structural Dynamics with Hysteresis
Arxiv
0+阅读 · 2023年2月20日
Harms from Increasingly Agentic Algorithmic Systems
Arxiv
0+阅读 · 2023年2月20日
Anytime-Valid Confidence Sequences in an Enterprise A/B Testing Platform
Arxiv
0+阅读 · 2023年2月20日
Robust Confidence Intervals for Meta-Regression with Interaction Effects
Arxiv
0+阅读 · 2023年2月20日
How to choose the most appropriate centrality measure?
Arxiv
0+阅读 · 2023年2月19日
Model-X Sequential Testing for Conditional Independence via Testing by Betting
Arxiv
0+阅读 · 2023年2月19日
On the Optimal Linear Contraction Order for Tree Tensor Networks
Arxiv
0+阅读 · 2023年2月17日
A Kernel-Based View of Language Model Fine-Tuning
Arxiv
0+阅读 · 2023年2月17日
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
专知会员服务
39+阅读 · 2022年10月10日
不可错过！《机器学习100讲》课程，UBC Mark Schmidt讲授
不可错过！《机器学习100讲》课程，UBC Mark Schmidt讲授
专知会员服务
73+阅读 · 2022年6月28日
NLP必读经典文献100篇
专知会员服务
123+阅读 · 2020年9月8日
2020数据工程师成长路线图
专知会员服务
39+阅读 · 2020年9月6日
【干货书】真实机器学习，264页pdf，Real-World Machine Learning
【干货书】真实机器学习，264页pdf，Real-World Machine Learning
专知会员服务
114+阅读 · 2020年4月5日
【新书：机器学习简介】《A Concise Introduction to Machine Learning》by A.C. Faul (CRC 2019)
【新书：机器学习简介】《A Concise Introduction to Machine Learning》by A.C. Faul (CRC 2019)
专知会员服务
75+阅读 · 2020年2月8日
【跨语言BERT模型大集合】Transfer learning is increasingly going multilingual with language-specific BERT models
专知会员服务
53+阅读 · 2020年1月30日
【机器学习基础最新版】（Mathematics for Machine Learning），417页pdf
【机器学习基础最新版】（Mathematics for Machine Learning），417页pdf
专知会员服务
239+阅读 · 2019年10月21日
机器学习入门的经验与建议
机器学习入门的经验与建议
专知会员服务
92+阅读 · 2019年10月10日
【哈佛大学商学院课程Fall 2019】机器学习可解释性
【哈佛大学商学院课程Fall 2019】机器学习可解释性
专知会员服务
103+阅读 · 2019年10月9日
热门VIP内容
相关资讯
VCIP 2022 Call for Demos
VCIP 2022 Call for Demos
CCF多媒体专委会
1+阅读 · 2022年6月6日
VCIP 2022 Call for Special Session Proposals
VCIP 2022 Call for Special Session Proposals
CCF多媒体专委会
1+阅读 · 2022年4月1日
ACM MM 2022 Call for Papers
ACM MM 2022 Call for Papers
CCF多媒体专委会
5+阅读 · 2022年3月29日
【ICIG2021】Latest News & Announcements of the Workshop
【ICIG2021】Latest News & Announcements of the Workshop
中国图象图形学学会CSIG
0+阅读 · 2021年12月20日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium5
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium5
中国图象图形学学会CSIG
1+阅读 · 2021年11月11日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium1
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium1
中国图象图形学学会CSIG
0+阅读 · 2021年11月3日
【ICIG2021】Latest News & Announcements of the Plenary Talk2
【ICIG2021】Latest News & Announcements of the Plenary Talk2
中国图象图形学学会CSIG
0+阅读 · 2021年11月2日
Hierarchically Structured Meta-learning
Hierarchically Structured Meta-learning
CreateAMind
26+阅读 · 2019年5月22日
Unsupervised Learning via Meta-Learning
Unsupervised Learning via Meta-Learning
CreateAMind
42+阅读 · 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
待字闺中
16+阅读 · 2018年12月24日
相关论文
Semi-implicit Integration and Data-Driven Model Order Reduction in Structural Dynamics with Hysteresis
Arxiv
0+阅读 · 2023年2月20日
Harms from Increasingly Agentic Algorithmic Systems
Arxiv
0+阅读 · 2023年2月20日
Anytime-Valid Confidence Sequences in an Enterprise A/B Testing Platform
Arxiv
0+阅读 · 2023年2月20日
Robust Confidence Intervals for Meta-Regression with Interaction Effects
Arxiv
0+阅读 · 2023年2月20日
How to choose the most appropriate centrality measure?
Arxiv
0+阅读 · 2023年2月19日
Model-X Sequential Testing for Conditional Independence via Testing by Betting
Arxiv
0+阅读 · 2023年2月19日
On the Optimal Linear Contraction Order for Tree Tensor Networks
Arxiv
0+阅读 · 2023年2月17日
A Kernel-Based View of Language Model Fine-Tuning
Arxiv
0+阅读 · 2023年2月17日
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+阅读 · 2013年12月31日
Cache访问优化的空间数据库查询处理技术研究
国家自然科学基金
0+阅读 · 2012年12月31日
PID1对猪肌内脂肪沉积的影响及其机理研究
国家自然科学基金
0+阅读 · 2012年12月31日
五倍子与升麻配伍活性成分抗根面龋细菌生物膜作用及机理研究
国家自然科学基金
0+阅读 · 2012年12月31日
两类Monge-Ampere方程问题的研究
国家自然科学基金
1+阅读 · 2012年12月31日
和胃安神法治疗原发性失眠的作用机理研究
国家自然科学基金
0+阅读 · 2011年12月31日
基于动态混合故障模型和进化博弈论的可生存性分析方法研究
国家自然科学基金
0+阅读 · 2009年12月31日
MMPs、TIMPs基因单核苷酸多态性与主动脉夹层发病的相关性研究
国家自然科学基金
0+阅读 · 2008年12月31日
脂肪因子Chemerin在骨骼肌胰岛素抵抗发生中的作用及其机制
国家自然科学基金
0+阅读 · 2008年12月31日
Top
微信扫码咨询专知VIP会员
Top