Abstract We provide a survey of the state art rational verification : problem checking whether given temporal logic formula ϕ is satisfied in some or all game-theoretic equilibria multi-agent system – that is, will exhibit behavior represents under assumption agents within act rationally pursuit their preferences. After motivating and introducing overall framework verification, we discuss key r...

UML is known as one of the most common methods in software engineering. Since this language is semi-formal, many researches and efforts have been performed to transform this language into formal methods including Petri nets. Thus, the operation of verification and validation of the qualitative and nonfunctional parameters could be achieved with more ability. Since the majority of the real world...

UML is known as one of the most common methods in software engineering. Since this language is semi-formal, many researches and efforts have been performed to transform this language into formal methods including Petri nets. Thus, the operation of verification and validation of the qualitative and nonfunctional parameters could be achieved with more ability. Since the majority of the real world...

Game tree Abstract Game tree verificationGame tree verification Abstract Game tree verificationGame tree verification Abstract Game tree verificationGame tree verification Abstract Game tree verificationGame tree verification Abstract Game tree verificationGame tree verification Abstract Game tree verificationGame tree verification Abstract Game tree verificationGame tree verification Abstract ...

aflatoxins are a group of fungal toxic metabolites, which are contaminated certain food commodities. elisa is one of the sensitive methods for detection of aflatoxins. preparation and stabilizing of a proper conjugated tracer for detection of aflatoxins is probably the main step for designing an elisa method. in current study, different stabilizers were applied to stabilize a newly prepared con...

random number generation is one of the human abilities. it is proven that the sequence of random numbers generated by people do not follow full randomness criteria. these numbers produced by brain activity seem to be completely non stationary. in this paper, we show that there is a distinction between the random numbers generated by different people who provides the discrimination capability, a...