Parallel State Space Construction for Model-Checking

Lecture Notes in Computer Science - Germany
doi 10.1007/3-540-45139-0_14
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

State Space Reduction Techniques for Model Checking of MANET Protocols

International Journal of Networking and Computing
2017English

An Improvement of the Piggyback Algorithm for Parallel Model Checking

2014English

Parallel Randomized State-Space Search

Proceedings - International Conference on Software Engineering
Software
2007English

Action-Based State Space Construction for Robot Learning.

Journal of the Robotics Society of Japan
1997English

State-Space Generalized Predictive Control for Redundant Parallel Robots

Mechanics Based Design of Structures and Machines
Mechanics of MaterialsCondensed Matter PhysicsMechanical EngineeringAutomotive EngineeringOcean EngineeringStructural EngineeringCivilMathematicsAerospace Engineering
2003English

Global Model-Checking of Infinite-State Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

State-Action Space Construction for Multi-Layered Learning System.

Journal of the Robotics Society of Japan
2003English

Construction of the Parallel Transport in the Wasserstein Space

Methods and Applications of Analysis
2008English

Model Checking Timed UML State Machines and Collaborations

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2002English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy