RPTU University Library

Send mail to Author

Planning and Specification Problems for Multi-Robot Systems, Powered by Formal Methods (Doctoral Thesis)

Please indicate your contact information and select, which author you want to contact.



 
__    __   __   __   _    _     ______    _  _     _____   
\ \\ / //  \ \\/ // | \  / ||  /_   _//  | \| ||  |  ___|| 
 \ \/ //    \ ` //  |  \/  ||   -| ||-   |  ' ||  | ||__   
  \  //      | ||   | .  . ||   _| ||_   | .  ||  | ||__   
   \//       |_||   |_|\/|_||  /_____//  |_|\_||  |_____|| 
    `        `-`'   `-`  `-`   `-----`   `-` -`   `-----`
 


Back to frontdoor view