会议记录 发表于 2025-3-21 19:42:41

书目名称Automated Technology for Verification and Analysis影响因子(影响力)<br>        http://figure.impactfactor.cn/if/?ISSN=BK0166372<br><br>        <br><br>书目名称Automated Technology for Verification and Analysis影响因子(影响力)学科排名<br>        http://figure.impactfactor.cn/ifr/?ISSN=BK0166372<br><br>        <br><br>书目名称Automated Technology for Verification and Analysis网络公开度<br>        http://figure.impactfactor.cn/at/?ISSN=BK0166372<br><br>        <br><br>书目名称Automated Technology for Verification and Analysis网络公开度学科排名<br>        http://figure.impactfactor.cn/atr/?ISSN=BK0166372<br><br>        <br><br>书目名称Automated Technology for Verification and Analysis被引频次<br>        http://figure.impactfactor.cn/tc/?ISSN=BK0166372<br><br>        <br><br>书目名称Automated Technology for Verification and Analysis被引频次学科排名<br>        http://figure.impactfactor.cn/tcr/?ISSN=BK0166372<br><br>        <br><br>书目名称Automated Technology for Verification and Analysis年度引用<br>        http://figure.impactfactor.cn/ii/?ISSN=BK0166372<br><br>        <br><br>书目名称Automated Technology for Verification and Analysis年度引用学科排名<br>        http://figure.impactfactor.cn/iir/?ISSN=BK0166372<br><br>        <br><br>书目名称Automated Technology for Verification and Analysis读者反馈<br>        http://figure.impactfactor.cn/5y/?ISSN=BK0166372<br><br>        <br><br>书目名称Automated Technology for Verification and Analysis读者反馈学科排名<br>        http://figure.impactfactor.cn/5yr/?ISSN=BK0166372<br><br>        <br><br>

laceration 发表于 2025-3-21 22:57:40

978-3-030-01089-8Springer Nature Switzerland AG 2018

有其法作用 发表于 2025-3-22 01:19:45

http://reply.papertrans.cn/17/1664/166372/166372_3.png

多嘴 发表于 2025-3-22 05:08:36

http://reply.papertrans.cn/17/1664/166372/166372_4.png

Incommensurate 发表于 2025-3-22 09:05:21

http://reply.papertrans.cn/17/1664/166372/166372_5.png

不如屎壳郎 发表于 2025-3-22 16:20:47

http://reply.papertrans.cn/17/1664/166372/166372_6.png

CHANT 发表于 2025-3-22 20:03:03

Global Governance and Conflict Preventiontively. This paper presents a formally verified motion planner based on manoeuvre automata in Isabelle/HOL. Two general properties which we ensure are numerical soundness (the absence of floating-point errors) and logical correctness (satisfying a plan specified in linear temporal logic). From these

使饥饿 发表于 2025-3-22 21:43:23

http://reply.papertrans.cn/17/1664/166372/166372_8.png

gastritis 发表于 2025-3-23 02:01:26

http://reply.papertrans.cn/17/1664/166372/166372_9.png

GIDDY 发表于 2025-3-23 09:12:22

http://reply.papertrans.cn/17/1664/166372/166372_10.png
页: [1] 2 3 4 5 6
查看完整版本: Titlebook: Automated Technology for Verification and Analysis; 16th International S Shuvendu K. Lahiri,Chao Wang Conference proceedings 2018 Springer