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