C Piazza

Latest

• Hyper-Extensionality and One-Node Elimination on Membership Graphs
• Contextual Lumpability
• Composing FOCoRe Hybrid Automata