We summarize classical and recent results about two-player games played on graphs with ωregular objectives. These games have applications in the verification and synthesis of reactive systems. Important distinctions are whether a graph game is turn-based or concurrent; deterministic or stochastic; zero-sum or not. We cluster known results and open problems according to these classifications.

Background: Opioid abuse is common in Iran. In recent years, methadone maintenance therapy (MMT) has gained popularity in this country. This study aimed at evaluation concurrent abuse of alcohol in patients under MMT. Methods: A predesigned questionnaire was developed and completed after obtaining verbal consent among 49 subjects under MMT in Kian Rehabilitation Centre during January 2014. Resu...

This Article is the first to take on following two questions: First, where in melange of legislative, executive, and judicial powers that constitutes law sentencing last word how much time a prisoner will serve when subject unexpired terms imposed at different times by state federal courts? Embedded question second: may convict who presents himself prison authorities his be turned away ground h...