Quantitative Solution of Omega-Regular Games380872

doi 10.1145/380752.380871
Full Text
Abstract

Available in full text

Date
Authors
Publisher

ACM Press

Related search

Two-Player Nonzero-Sum Omega-Regular Games

2004English

Algorithms for Omega-Regular Games With Imperfect Information

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2007English

Using Language Inference to Verify Omega-Regular Properties

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

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

Innovations in Systems and Software Engineering
Software
2011English

Regular Solution to Topology Optimization Problems of Continua

JSIAM Letters
2011English

Modeling and Genetic Solution for Scheduling Problems With Regular and Non-Regular Objective Functions

Transactions of the Society of Instrument and Control Engineers
1999English

The Over-Relaxation Factor in the Numerical Solution of the Omega Equation1

Monthly Weather Review
Atmospheric Science
1967English

The Surface Composition of Binary Metal Alloys. The Regular Solution Theory

Advances in Colloid and Interface Science
SurfacesColloidInterfacesTheoretical ChemistrySurface ChemistryPhysical
1977English

The Preparation of Some Tertiary Omega,omega,omega-Triphenylalkylamines and Related Compounds.

Acta Chemica Scandinavica
1965English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy