Saqib Sohail

Learn More
In the game theoretic approach to the synthesis of reactive systems, specifications are often given as a conjunction of linear time properties. An implementation can be obtained from a winning strategy derived from a suitable generalized parity game in which each property produces a parity acceptance condition. Safety and persistence properties usually make(More)
In the game theoretic approach to the synthesis of reactive systems, specifications are often given in linear time logic (LTL). Computing a winning strategy to an infinite game whose winning condition is the set of LTL properties is the main step in obtaining an implementation. We present a practical hybrid algorithm—a combination of symbolic and explicit(More)
In the game-theoretic approach to the synthesis of reactive systems, specifications are often expressed as ω-regular languages. Computing a winning strategy to an infinite game whose winning condition is an ω-regular language is then the main step in obtaining an implementation. Conjoining all the properties of a specification to obtain a monolithic game(More)
In the software development life cycle, maintenance is a key phase that determines long term and effective use of any software. Maintenance can become very lengthy and costly for large software systems when structure of the system is complicated. One of the factors complicating the structure of the software system is subsystem boundaries becoming ambiguous(More)
Background: It is proposed in different studies that different types of anesthesia affect the physiological status of the neonate while other studies revealed no change. Aim: To determine and compare the changes in neonatal APGAR score at 1 and 5 minutes according to the type of anesthesia. Study design: It was a comparative study and was conducted in(More)
His paper proposes a novel idea of using fuzzy logic for architectural and resource management aspects of the bandwidth broker. The scalability problem of bandwidth broker, being a centralised resource manager in a domain, can be solved by employing a distributed architecture. The decisions regarding the distributed architecture, namely, number and location(More)
Objective: To study the effect of exogenous platelet activating factor on capacitation and acrosome reaction in sperms of infertile subjects. Subjects and methods: Twenty semen samples were collected as per WHO criterion for semen analysis from infertile males. The sperms were separated from the seminal fluid by using Sydney IVF Sperm gradient kit.(More)
A finite state reactive system (for instance a hardware controller) can be specified through a set of !-regular properties, most of which are often safety properties. In the gamebased approach to synthesis, the specification is converted to a game between the system and the environment. A deterministic implementation is obtained from the game graph and a(More)
  • 1