Games for Good
公益游戏
基本信息
- 批准号:EP/X042596/1
- 负责人:
- 金额:$ 62.94万
- 依托单位:
- 依托单位国家:英国
- 项目类别:Research Grant
- 财政年份:2024
- 资助国家:英国
- 起止时间:2024 至 无数据
- 项目状态:未结题
- 来源:
- 关键词:
项目摘要
"It is easy to be wise after the event." -- Arthur Conan Doyle.Making an optimal decision it is ever so much easier with hindsight. This is true in our daily life - wouldn't it be great to be able to fill in the bet for the national lottery after the draw took place? - but it also holds true in the analysis of computational systems. What makes hindsight so attractive is, naturally, the full knowledge of the future, and it is similarly clear that we do not always possess this knowledge at the point where it would be really useful to have it.The principle research question in this project is the question whether we can make just as good a decision without hindsight as we can do with it. While this is clearly not the case for filling in the lottery slip, there are other decisions that can be made without having to know the future.In formal verification, this is a very desirable property, because it allows us to make decisions on the fly, and without regret: we do not have to see what the future holds, but can make optimal decisions on the past. But which specification has this property? And what is the cost to turn a specification that does not possess this property into one that does?These are deep questions that have been studied for finite state systems, where it is possible to translate a language acceptor into an equivalent one that just does not need hindsight (but is not necessarily deterministic).Such a translation is always possible for a wide class of quantitative specification languages, simply because their acceptors (finite or omega automata) can be determinized, albeit at very high cost. Removing hindsight is a little bit simpler than determinization (removing all choice), and this little advantage can make a huge difference, so that it recently became a very active and insightful branch of verification.This project will solve the questions that arise when the systems and specification languages do not have finite representations. Here, waiving hindsight is not just more efficient and concise than determinizing, it is also more expressive. We will find out just how much more expressive in which context, and just how much more concise. This will allow for follow-up research that accelerates the verification and validation of real-world systems, ultimately making them safer and more reliable.
“事后聪明很容易。“--亚瑟柯南道尔。事后诸葛亮,做最佳决定要容易得多。这在我们的日常生活中是真实的-如果能够在开奖后为国家彩票投注,那不是很好吗?- 但它也适用于计算系统的分析。后见之明之所以如此有吸引力,自然是因为它对未来有充分的了解,同样清楚的是,我们并不总是在拥有这些知识会真正有用的时候拥有这些知识。这个项目的主要研究问题是,我们是否可以在没有后见之明的情况下做出和我们可以做的一样好的决定。虽然这显然不是填写彩票单的情况,在形式验证中,这是一个非常理想的属性,因为它允许我们在飞行中做出决定,并且没有遗憾:我们不必看到未来会发生什么,但可以根据过去做出最佳决策。但是,哪种规格说明具有这种性质呢?把一个不具备这种属性的规范变成一个具备这种属性的规范的成本是多少?这些都是有限状态系统研究过的深层次问题。在有限状态系统中,可以将语言接受器转换为等价的语言接受器,而不需要事后诸葛亮(但不一定是确定性的)。这样的转换对于大量的定量规格说明语言来说总是可能的,仅仅因为它们的接受器(有限自动机或欧米茄自动机)可以确定,尽管代价很高。去除后见之明比确定性(去除所有选择)简单一点,这个小小的优势可以产生巨大的差异,因此它最近成为验证的一个非常活跃和有见地的分支。这个项目将解决当系统和规范语言没有有限表示时出现的问题。在这里,放弃后见之明不仅比确定性更有效和简洁,而且更有表现力。我们会发现在什么样的语境下表达能力会更强,表达能力会更简洁。这将允许后续研究,加速真实世界系统的验证和确认,最终使其更安全,更可靠。
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
数据更新时间:{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
Patrick Totzke其他文献
Edinburgh Research Explorer How to Play in Infinite MDPs (Invited Talk)
爱丁堡研究探索者如何玩无限 MDP(特邀演讲)
- DOI:
- 发表时间:
2020 - 期刊:
- 影响因子:0
- 作者:
Stefan Kiefer;Richard Mayr;M. Shirmohammadi;Patrick Totzke;Dominik Wojtczak - 通讯作者:
Dominik Wojtczak
Coverability Trees for Petri Nets with Unordered Data
无序数据 Petri 网的可覆盖性树
- DOI:
- 发表时间:
2016 - 期刊:
- 影响因子:0
- 作者:
Piotr Hofman;S. Lasota;R. Lazic;Jérôme Leroux;S. Schmitz;Patrick Totzke - 通讯作者:
Patrick Totzke
Trace Inclusion for One-Counter Nets Revisited
重新审视单柜台网络的跟踪包含
- DOI:
- 发表时间:
2014 - 期刊:
- 影响因子:0
- 作者:
Piotr Hofman;Patrick Totzke - 通讯作者:
Patrick Totzke
On Boundedness Problems for Pushdown Vector Addition Systems
关于下推向量加法系统的有界问题
- DOI:
- 发表时间:
2015 - 期刊:
- 影响因子:0
- 作者:
Jérôme Leroux;G. Sutre;Patrick Totzke - 通讯作者:
Patrick Totzke
Handling of Past and Future with Phenesthe+
用 Phenesthe 处理过去和未来
- DOI:
10.4204/eptcs.390.3 - 发表时间:
2023 - 期刊:
- 影响因子:7.3
- 作者:
Manolis Pitsikalis;A. Lisitsa;Patrick Totzke - 通讯作者:
Patrick Totzke
Patrick Totzke的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Patrick Totzke', 18)}}的其他基金
COSTRA -- The Cost of Winning Strategies
COSTRA——制胜战略的成本
- 批准号:
EP/V025848/1 - 财政年份:2021
- 资助金额:
$ 62.94万 - 项目类别:
Research Grant
相似海外基金
CSR: Small: Leveraging Physical Side-Channels for Good
CSR:小:利用物理侧通道做好事
- 批准号:
2312089 - 财政年份:2024
- 资助金额:
$ 62.94万 - 项目类别:
Standard Grant
Advancing entirely virus-free CRISPR CAR T cells to clinic- Are they as good as lentiviral CAR?
将完全无病毒的CRISPR CAR T细胞推向临床——它们和慢病毒CAR一样好吗?
- 批准号:
MR/Y503496/1 - 财政年份:2024
- 资助金额:
$ 62.94万 - 项目类别:
Research Grant
Foundations of a good egg: correctly transitioning from mitosis to meiosis
好卵子的基础:从有丝分裂到减数分裂的正确过渡
- 批准号:
DP240102956 - 财政年份:2024
- 资助金额:
$ 62.94万 - 项目类别:
Discovery Projects
Teaching Good Relations in the Land of Plenty: Iñupiat and Non-Iñupiat on the North Slope of Alaska
在鱼米之乡讲授良好关系:阿拉斯加北坡的伊尤皮亚特人和非伊尤皮亚特人
- 批准号:
ES/Y010310/1 - 财政年份:2024
- 资助金额:
$ 62.94万 - 项目类别:
Fellowship
REU Site: Human-Centered Computing for Social Good
REU 网站:以人为本的计算,造福社会
- 批准号:
2349070 - 财政年份:2024
- 资助金额:
$ 62.94万 - 项目类别:
Standard Grant
Co-creating digital education about parenting and father-inclusive practice: combining QL impact research and commercialisation for the social good
共同创建有关育儿和父亲包容性实践的数字教育:将 QL 影响研究与商业化相结合,造福社会
- 批准号:
MR/Y00356X/1 - 财政年份:2024
- 资助金额:
$ 62.94万 - 项目类别:
Fellowship
Postdoctoral Fellowship: OCE-PRF: Do dead shells make good homes? Assessing the Development, Stability, and Evolution of Shell Gravel Habitats Across Space and Time
博士后奖学金:OCE-PRF:死去的贝壳能成为美好的家园吗?
- 批准号:
2307502 - 财政年份:2024
- 资助金额:
$ 62.94万 - 项目类别:
Standard Grant
Experiences and Networks of Migrant Sex Work and Trafficking: Research on 9 Countries for Good Supporting Practices
移民性工作和贩运的经验和网络:对 9 个国家的良好支持做法的研究
- 批准号:
23H00059 - 财政年份:2023
- 资助金额:
$ 62.94万 - 项目类别:
Grant-in-Aid for Scientific Research (A)
Clarification of "good pitches" for each pitching motion in baseball
棒球中每个投球动作的“好投球”的澄清
- 批准号:
23K10664 - 财政年份:2023
- 资助金额:
$ 62.94万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
Scaffolded Computing Projects for the Social Good
为社会公益服务的脚手架计算项目
- 批准号:
2315322 - 财政年份:2023
- 资助金额:
$ 62.94万 - 项目类别:
Standard Grant