scientific article; zbMATH DE number 1744958

zbMath0985.68031MaRDI QIDQ4531751

Benet Devereux, Marsha Chechik, Arie Gurfinkel

Publication date: 23 May 2002

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2057/20570016

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Logic in computer science (03B70) Automata and formal grammars in connection with logical questions (03D05) Specification and verification (program logics, model checking, etc.) (68Q60) Many-valued logic (03B50)

Related Items (17)

Latticed-LTL synthesis in the presence of noisy inputs ⋮ Inherent Vacuity in Lattice Automata ⋮ Unnamed Item ⋮ An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect information ⋮ Multi-valued model checking games ⋮ Latticed Simulation Relations and Games ⋮ Computation tree logic model checking based on multi-valued possibility measures ⋮ Linear temporal logic symbolic model checking ⋮ Beyond vacuity: towards the strongest passing formula ⋮ Model Checking Quantitative Linear Time Logic ⋮ Model checking of linear-time properties in multi-valued systems ⋮ Lattice Automata ⋮ Robustness of temporal logic specifications for continuous-time signals ⋮ Minimizing Deterministic Lattice Automata ⋮ Weighted automata and multi-valued logics over arbitrary bounded lattices ⋮ Don’t Know for Multi-valued Systems ⋮ Weighted automata

This page was built for publication: