Using Language Inference to Verify Omega-Regular Properties

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-540-31980-1_4
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Quantitative Solution of Omega-Regular Games380872

2001English

Specification Inference Using Context-Free Language Reachability

2015English

Two-Player Nonzero-Sum Omega-Regular Games

2004English

Using Monterey Phoenix to Formalize and Verify System Architectures

2012English

Algorithms for Omega-Regular Games With Imperfect Information

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2007English

Automated Assume-Guarantee Reasoning for Omega-Regular Systems and Specifications

Innovations in Systems and Software Engineering
Software
2011English

Precursors to Language: Social Cognition and Pragmatic Inference in Primates

Psychonomic Bulletin and Review
DevelopmentalArtsEducational PsychologyCognitive PsychologyHumanitiesExperimental
2016English

Human Action Recognition by Inference of Stochastic Regular Grammars

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Using Simulation to Verify Life History Relations Indicated by Time Series Analysis

Environmetrics
Ecological ModelingStatisticsProbability
1999English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy