Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Irina Smarandache
Parallel State Space Construction for Model-Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
State Space Reduction Techniques for Model Checking of MANET Protocols
International Journal of Networking and Computing
An Improvement of the Piggyback Algorithm for Parallel Model Checking
Parallel Randomized State-Space Search
Proceedings - International Conference on Software Engineering
Software
Action-Based State Space Construction for Robot Learning.
Journal of the Robotics Society of Japan
State-Space Generalized Predictive Control for Redundant Parallel Robots
Mechanics Based Design of Structures and Machines
Mechanics of Materials
Condensed Matter Physics
Mechanical Engineering
Automotive Engineering
Ocean Engineering
Structural Engineering
Civil
Mathematics
Aerospace Engineering
Global Model-Checking of Infinite-State Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
State-Action Space Construction for Multi-Layered Learning System.
Journal of the Robotics Society of Japan
Construction of the Parallel Transport in the Wasserstein Space
Methods and Applications of Analysis
Model Checking Timed UML State Machines and Collaborations
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
