查看最新文献
订阅
分享
356发文信息
历年影响因子
历年发表
投稿信息
Principles of Systems Design - 最新文献
Symbolic Verification and Strategy Synthesis for Turn-based Stochastic Games
Pub Date : 2022-11-11 DOI: 10.48550/arXiv.2211.06141 M. Kwiatkowska, G. Norman, David Parker, Gabriel SantosCorrect-by-Construction Runtime Enforcement in AI - A Survey
Pub Date : 2022-08-30 DOI: 10.48550/arXiv.2208.14426 Bettina Könighofer, Roderick Bloem, Rüdiger Ehlers, Christian PekOn Specifications and Proofs of Timed Circuits
Pub Date : 2022-08-17 DOI: 10.48550/arXiv.2208.08147 Matthias Függer, C. Lenzen, U. Schmid
免责声明：
本页显示期刊或杂志信息，仅供参考学习，不是任何期刊杂志官网，不涉及出版事务，特此申明。如需出版一切事务需要用户自己向出版商联系核实。若本页展示内容有任何问题，请联系我们，邮箱：info@booksci.cn，我们会认真核实处理。
本页显示期刊或杂志信息，仅供参考学习，不是任何期刊杂志官网，不涉及出版事务，特此申明。如需出版一切事务需要用户自己向出版商联系核实。若本页展示内容有任何问题，请联系我们，邮箱：info@booksci.cn，我们会认真核实处理。
京公网安备 11010802042870号
