Monitoring Distributed Controllers: When an Efficient LTL Algorithm on Sequences Is Needed to Model-Check Traces

Lecture Notes in Computer Science - Germany
doi 10.1007/11813040_37
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

An Efficient Distributed Online Algorithm to Detect Strong Conjunctive Predicates

IEEE Transactions on Software Engineering
Software
2002English

Bringing LTL Model Checking to Biologists

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2017English

An Efficient Algorithm for LCS Problem Between Two Arbitrary Sequences

Mathematical Problems in Engineering
MathematicsEngineering
2018English

An Efficient Algorithm for Generating Assembly Sequences in Modification Design.

Seimitsu Kogaku Kaishi/Journal of the Japan Society for Precision Engineering
Mechanical Engineering
1994English

An Algorithm for Model Fusion for Distributed Learning

2018English

From Stack Traces to Lazy Rewriting Sequences

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

An Efficient Method to Estimate the Suboptimality of Affine Controllers

2010English

Security Protection Is Needed When Using USB Sticks

BMJ
2007English

Conditional Termination Check Min-Sum Algorithm for Efficient LDPC Decoders

IEICE Electronics Express
Electronic EngineeringCondensed Matter PhysicsOpticalElectricalMagnetic MaterialsElectronic
2015English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy