Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by M. Roveri
Conformant Planning via Symbolic Model Checking
Journal of Artificial Intelligence Research
Artificial Intelligence
Related publications
Symbolic Model Checking for Simply-Timed Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Dual-Processor Parallelisation of Symbolic Probabilistic Model Checking
Generalized Symbolic Execution for Model Checking and Testing
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Symbolic Model-Checking for Abstracting Inevitability Modalities Over Transient States
International Journal of Control and Automation
Control
Systems Engineering
Verifying Functional Properties of Smart Contracts Using Symbolic Model-Checking
Proceedings of the Institute for System Programming of the RAS
Partial Model Checking via Abstract Interpretation
Information Processing Letters
Signal Processing
Computer Science Applications
Information Systems
Theoretical Computer Science
Symbolic Model Checking of Infinite State Systems Using Presburger Arithmetic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Shortest Counterexamples for Symbolic Model Checking of LTL With Past
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Symbolic Simulation, Model Checking and Abstraction With Partially Ordered Boolean Functional Vectors
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
