RT @stacked_automat: Hybrid Systems: From Verification to Falsification (2007) : Plaku, Erion and Kavraki, Lydia E. and Vardi, Moshe Y. DOI…
18 followers
141 followers
Hybrid Systems: From Verification to Falsification (2007) : Plaku, Erion and Kavraki, Lydia E. and Vardi, Moshe Y. DOI: https://t.co/X8xKVaiKi7 #HyDICE #complex_systems #planning #robotics #safety #search #testing #verification #my_bibtex
18 followers
RT @stacked_automat: Hybrid Systems: From Verification to Falsification (2007) : Plaku, Erion and Kavraki, Lydia E. and Vardi, Moshe Y. DOI…
141 followers
Hybrid Systems: From Verification to Falsification (2007) : Plaku, Erion and Kavraki, Lydia E. and Vardi, Moshe Y. DOI: https://t.co/X8xKVa18Tx #HyDICE #complex_systems #planning #robotics #safety #search #testing #verification #my_bibtex