Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Mihaela Gheorghiu Bobaru
Automated Assume-Guarantee Reasoning by Abstraction Refinement
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Automated Assume-Guarantee Reasoning Through Implicit Learning
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Automated Assume-Guarantee Reasoning for Omega-Regular Systems and Specifications
Innovations in Systems and Software Engineering
Software
Optimized L*-Based Assume-Guarantee Reasoning
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Assume-Guarantee Reasoning for Hybrid I/O-Automata by Over-Approximation of Continuous Interaction
From Relational Interfaces to Assume-Guarantee Contracts
Monotonic Abstraction-Refinement for CTL
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Component-Based Abstraction and Refinement
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Learning by Ng: Systematic Abstraction Refinement for Hybrid Control Synthesis
IEE Proceedings - Control Theory and Applications
Solving Games via Three-Valued Abstraction Refinement
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
