Optimal Reachability in Weighted Timed Automata and Games (Invited Talk)

Patricia Bouyer-Decitre

首页> 外文期刊>LIPIcs : Leibniz International Proceedings in Informatics >Optimal Reachability in Weighted Timed Automata and Games (Invited Talk)

【24h】

Optimal Reachability in Weighted Timed Automata and Games (Invited Talk)

机译：加权定时自动机和游戏中的最佳可达性（特邀演讲）

获取原文

获取外文期刊封面目录资料

开具论文收录证明 >>

文献代查 >>

文献数据库（团队版） >>

页面导航

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

摘要

This is an overview of the invited talk delivered at the 41st International Symposium on Mathematical Foundations of Computer Science (MFCS-2016).

机译：这是在第41届计算机科学数学基础国际研讨会（MFCS-2016）上进行的邀请演讲的概述。

著录项

来源
《LIPIcs : Leibniz International Proceedings in Informatics》 |2016年第2期|共3页
作者
Patricia Bouyer-Decitre;
展开▼
作者单位

展开▼
收录信息
原文格式 PDF
正文语种
中图分类计算技术、计算机技术;
关键词

相似文献

外文文献
中文文献
专利

1. On the optimal reachability problem of weighted timed automata [J] . Patricia Bouyer, Thomas Brihaye, Veronique Bruyere, Formal Methods in System Design . 2007,第2期

机译：加权定时自动机的最优可达性问题
2. Robust reachability in timed automata and games: A game-based approach [J] . Bouyer Patricia, Markey Nicolas, Sankur Ocan Theoretical computer science . 2015,第Null期

机译：定时自动机和游戏中强大的可达性：一种基于游戏的方法
3. SMT-based Searching for k-quasi-optimal Runs in Weighted Timed Automata [J] . Wozna-Szczesniak Bozena, Zbrzezny Agnieszka M., Zbrzezny Andrzej Fundamenta Informaticae . 2017,第4期

机译：基于SMT的加权定时自动机中的k拟最优运行搜索
4. Backward Symbolic Optimal Reachability in Weighted Timed Automata [C] . Remi Parrot, Didier Lime International Conference on Formal Modeling and Analysis of Timed Systems . 2020

机译：加权定时自动机中的向后符号最优可达性
5. Cheap talk in a timing game, double layered talk and multilayered talk. [D] . Yu, Zhiyuan. 2009

机译：计时游戏中的廉价谈话，双层谈话和多层谈话。
6. How successful are mutants in multiplayer games with fluctuating environments? Sojourn times fixation and optimal switching [O] . Joseph W. Baron, Tobias Galla 2018

机译：在瞬息万变的环境中多人游戏中的变异者有多成功？停留时间固定和最佳切换
7. Backward Symbolic Optimal Reachability in Weighted Timed Automata [O] . Rémi Parrot, Didier Lime 2020

机译：加权定时自动机中的向后符号最优可达性

Optimal Reachability in Weighted Timed Automata and Games (Invited Talk)

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅