鎶ュ憡棰樼洰錛氬熀浜庡彲杈鵑泦涓婁笅榪戜技鐨勬販鎴愮郴緇熷畨鍏ㄦ€ч獙璇佺爺絀?br>銆€銆€鎶ュ憡浜猴細(xì)浣樺織鍧わ紙鍖椾含鑸┖鑸ぉ澶у銆佹暀鎺堬級(jí)
銆€銆€鎶ュ憡鏃墮棿錛?019騫?1鏈?鏃ワ紙鍛ㄥ洓錛?6錛?0鈥?7錛?0
銆€銆€鎶ュ憡鍦扮偣錛氭牸涓?00瀹?br>銆€銆€鎶ュ憡鎽樿錛氫俊鎭?鐗╃悊緋葷粺錛圕PS錛夋槸涓€縐嶅皢璁＄畻涓庣墿鐞嗚繃紼嬬浉緇撳悎鐨勭郴緇燂紝鏄瀛︾浜ゅ弶铻嶅悎鐨勪駭鐗┿€傛販鎴愮郴緇熶綔涓轟竴綾誨皢紱繪暎浜嬩歡緋葷粺鍜屽井鍒嗘柟紼嬬浉緇撳悎鐨勫姩鍔涚郴緇燂紝琚涓烘槸鐮旂┒淇℃伅-鐗╃悊緋葷粺鐨勪竴涓潪甯告湁鏁堢殑鏁板妯″瀷銆傜敱浜庢販鎴愮郴緇熷畨鍏ㄦ€ч獙璇佹槸涓€涓嶅彲鍒ゅ畾闂錛屾湰鎶ュ憡灝嗕富瑕佸洿緇曞姩鍔涚郴緇熷彲杈鵑泦鐨勪笂涓嬭繎浼煎睍寮€錛氶鍏堬紝寮曞叆婕斿寲鍑芥暟騫跺€熷姪鏉庡鏁扮粰鍑哄畠鐨勬嘲鍕掔駭鏁板睍寮€錛涙帴鐫€錛屽熀浜庨儴鍒嗗拰鍏紡錛屾彁鍑轟袱縐嶈綆楀彲杈鵑泦涓婁笅榪戜技鐨勬柟娉曞茍緇欎簣瀹炵幇錛涙渶鍚庯紝涓庢渶榪戜袱縐嶅彲杈鵑泦涓婁笅榪戜技鏂規(guī)硶鐨勮綆楃粨鏋滄瘮杈冨睍紺轟簡(jiǎn)鎴戜滑鏂規(guī)硶鐨勪紭瓚婃€с€?br>銆€銆€鎶ュ憡浜虹畝浠嬶細(xì)浣樺織鍧わ紝鍖椾含鑸┖鑸ぉ澶у鏁板涓庣郴緇熺瀛﹀闄㈠壇闄㈤暱銆佹暀鎺堛€佸崥澹敓瀵煎笀銆?995騫?鏈堝埌2005騫?鏈堬紝灝辮浜庡寳浜ぇ瀛︽暟瀛︾瀛﹀闄紝鑾風(fēng)悊瀛﹀澹拰鍗氬＋瀛︿綅錛堢鍗氳繛璇伙級(jí)錛岃幏2008騫村害鍖椾含甯?jìng)绉戞妧鏂版槦錛?013騫村害鏁欒偛閮ㄦ柊涓栫邯浼樼浜烘墠錛?014騫村害鍥藉浼樼闈掑勾縐戝鍩洪噾欏圭洰鑾峰緱鑰呫€傝幏2013騫村害鏁欒偛閮ㄨ嚜鐒剁瀛﹀涓€絳夊錛堢涓夊畬鎴愪漢錛夈€傜嫭绔嬫挵鍐欏浗闃叉姤鍛?閮紝鍦ˋCM TECS銆丼IAM Journal on Control and Optimization銆丣ournal of Symbolic Computation絳夐鍩熷浗闄呴《綰у垔鐗╁拰AAAI銆丆AV銆両SSAC銆丠SCC絳夐鍩熷浗闄呴《綰т細(xì)璁笂鍙戣〃瀛︽湳璁烘枃70浣欑瘒銆傜壒鍒湴錛岀敱鍥劇伒濂栬幏寰楄€匛dmund M. Clarke絳夌紪钁楀茍浜?018騫村嚭鐗堢殑銆奌andbook of Model Checking銆嬪湪絎?0绔犫€淰erification of Hybrid Systems鈥濈殑絎竷鑺傗€淰erification Tools鈥濅粙緇嶄簡(jiǎn)鍏跺紑鍙戠殑楠岃瘉宸ュ叿HSolver銆?br>銆€銆€嬈㈣繋騫垮ぇ甯堢敓鍙傚姞錛?/p>
鐞嗗闄?br>2019騫?1鏈?鏃?/p>
