All public logs

Combined display of all available logs of Murray Wiki. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).

• 20:58, 27 December 2023 Murray talk contribs created page Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design (Created page with "{{Paper |Title=Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design |Authors=Inigo Incer, Apurva Badithela, Josefine Graebener, Piergiuseppe Mallozzi, Ayush Pandey, Sheng-Jung Yu, Albert Benveniste, Benoit Caillaud, Richard M. Murray, Alberto Sangiovanni-Vincentelli, Sanjit A. Seshia |Source=Submitted, ACM Transactions on Cyber-Physical Systems (TCPS), Aug 2023 |Abstract=Contract-based design is a method to facilitate modular system design. While ther...")