Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Mohammed Achkari Begdouri
Symbolic Model-Checking for Abstracting Inevitability Modalities Over Transient States
International Journal of Control and Automation
Control
Systems Engineering
Related publications
Symbolic Model Checking for Simply-Timed Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Generalized Symbolic Execution for Model Checking and Testing
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Conformant Planning via Symbolic Model Checking
Journal of Artificial Intelligence Research
Artificial Intelligence
Shortest Counterexamples for Symbolic Model Checking of LTL With Past
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Dual-Processor Parallelisation of Symbolic Probabilistic Model Checking
Model-Checking Over Multi-Valued Logics
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Verifying Functional Properties of Smart Contracts Using Symbolic Model-Checking
Proceedings of the Institute for System Programming of the RAS
Symbolic Model Checking of Infinite State Systems Using Presburger Arithmetic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Checking Experiments for Finite State Machines With Symbolic Inputs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
