Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Victor Petrovykh

Model-Checking Over Multi-Valued Logics

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2001English

Related publications

Multi-Valued Modal Fixed Point Logics for Model Checking

IEICE Transactions on Information and Systems
Electronic EngineeringPattern RecognitionHardwareComputer VisionElectricalArchitectureArtificial IntelligenceSoftware
2010English

Partial Order Reductions for Model Checking Temporal-Epistemic Logics Over Interleaved Multi-Agent Systems

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2010English

A Direct Algorithm for Multi-Valued Bounded Model Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

Model Checking Logics for Communicating Sequential Agents

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1999English

The Complexity of Model Checking for Propositional Default Logics

Data and Knowledge Engineering
Information SystemsManagement
2005English

Model Checking Linear Coalgebraic Temporal Logics: An Automata-Theoretic Approach

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Quantile-Based KNN Over Multi-Valued Objects

2010English

Architecture Conformance Checking With Description Logics

2017English

Rough Sets and 3-Valued Logics

Studia Logica
Philosophy of ScienceLogicHistory
2008English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy