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