Verification Approaches for Temporal Problems with Uncertainty108
A Study on Handwritten Signature Verification Approaches
... Template matching is appropriate for rigid matching to detect genuine signatures however these methods are not very efficient in detecting skilled forgeries. Neural networks are along with the generally used classifiers ...
7
Towards temporal verification of swarm robotic systems
... formal verification can be used as part of the development of reliable robot swarm ...applied verification using model-checking to a particular swarm algorithm, namely the alpha ...cut-vertex ...
25
Temporal property verification as a program analysis task
... In the case that a tool exceeded the timeout threshold of 4 hours, “>14400.00” is used to represent the time, and the result is listed as “???”. When comparing approaches on ∀CTL properties (Fig. 7) we have chosen ...
16
Verification of Temporal Properties in Automotive Embedded Software
... the verification of embedded software is of fundamental ...on temporal properties. For- mal property verification using model checker of- ten suffers from the state space explosion problem when a ...
6
Optimising Flexibility of Temporal Problems with Uncertainty
... the verification and optimisation of dynamic controllability to more general decision-making problems such as scheduling and planning is a critical fu- ture ...planning problems are more complicated ...
137
Specification and verification of network algorithms using temporal logic
... different problems in a system, specifying the system and verifying it should be accomplished in a way which maintains the system ...linear temporal logic (LTL) and the NuSMV model ...formal ...
136
Spatio-temporal logics for verification and control of networked systems
... existing approaches to specify collective behaviors lack a formal framework for synthesizing control inputs for individual robots that result in the emergence of the specified behaviors [Alonso-Mora et ...
168
To know or not to know Epistemic approaches to security protocol verification
... Step 3. From T (S 0 ), we build up the epistemic temporal model E(T (S 0 )) by defining epistemic relations ∼ i between points (T (S 0 ), r, k). The standard way of defining ∼ i in IS is by matching local states ...
30
Learning Approaches to Analog and Mixed Signal Verification and Analysis
... In this dissertation, we focus on addressing various problems related to the design automation of analog and mixed signal circuits. Analog circuits are typically highly specialized and fined tuned to fit the ...
198
New approaches to airline recovery problems
... SRPDM is formulated as a stochastic integer program using a probabilistic time-space net- work representation. Because capturing future stochasticity into the model increases the computational burden significantly, we ...
124
Temporal Markov Decision Problems : Formalization and Resolution
... several approaches for modeling continuous time-dependency in the frame- work of Markov Decision Processes (MDPs), leading us to a definition of Temporal Markov Decision ...time-dependent problems as ...
392
High-level Frameworks for the Specification and Verification of Scheduling Problems
... Furthermore, Cinco makes it especially easy to per- form changes to the edited model. Usually, with the common Eclipse approaches, the visual representation as well as the underlying model structure need to be ...
28
Temporal verification of programs
... The reduction pertains to verification of state-based temporal logics and, in particular, the uni- versal fragment of Computation Tree Logic ( ∀CTL). However, in industry, trace-based properties (e.g. LTL, ...
147
A Survey on Signature Verification Approaches
... [2] This paper has presented an analysis of fluctuation of Hu’s moment invariants on image scaling and rotation. This is divided into loosely coupled phases like pre-processing, feature extraction, feature matching, ...
5
Verification and Validation of Temporal Business Rules
... The major reason behind errors detected by verification is limited knowledge and ad hoc use of the selected models. The usual case is that designers subjectively apply the modelling techniques they have in order ...
16
Approaches to Formal Verification of Security Protocols
... Formal verification is the use of mathematical techniques to ensure that a design conforms to some precisely expressed notion of functional ...for verification could lead to security errors remaining ...
9
Result Verification Algorithms for Optimization Problems
... For verification purposes, one stage of such an algorithm solving the general weighted matching problem suffices to check for correctness of the matching ...
18
Approaches and Issues in Offline Signature Verification System
... The proposed system allowed the rejection of 62.4% of the forgeries used for the experiments when 99% of genuine signatures were correctly recognized. Sharifah Mumtazah Syed Ahmad et al. [21] presented an automatic ...
8
APPROACHES TO SOFTWARE TESTING PROGRAM VERIFICATION AND VALIDATION
... execution. It has been reported that static verification can find 60% of the errors in a program before the program is executed. Static program analysers are software tools that scan the source text of a program ...
23
Connectivity and Inference Problems for Temporal Networks
... additional temporal condition? The notion of a path is intrinsic to many of the most fundamental algorithmic problems on graphs; spanning trees, connectivity, flows, and cuts are some ...these ...
23