This paper deals with targeted testing of timed systems with uncontrollable behavior. The testing activity is viewed as a game between the tester and the system under test (SUT) towards a given test purpose. The SUT is modeled as Timed Game Automaton and the test purpose is specified in Timed CTL formula. We can employ a timed game solver UPPAAL-TIGA to check if the test purpose is ture w.r.t. ...

1. Bender BU, Wetterauer U, Schollmeyer P, Neumann HPH. An incidental finding—bilateral multifocal renal oncocytoma. Nephrol Dial Transplant 1997; 12: 1034–1036 2. Maatman TJ, Novick AC, Tancinco BF et al. Renal oncocytoma: a diagnostic and therapeutic dilemma. J Urol 1984; 132: 878–881 3. Lieber MM, Tomera KM, Farrow GM. Renal oncocytoma. J Urol 1981; 125: 481–485 4. Psihramis KE, Dal Cin P, D...

Serotonin (5-HT) neurons in the dorsal raphe nucleus (DRN) are implicated in mediating learned helplessness (LH) behaviors, such as poor escape responding and expression of exaggerated conditioned fear, induced by acute exposure to uncontrollable stress. DRN 5-HT neurons are hyperactive during uncontrollable stress, resulting in desensitization of 5-HT type 1A (5-HT1A) inhibitory autoreceptors ...

Motivated by the control theoretic distinction between controllable and uncontrollable events, we distinguish between two types of agents within a multi-agent system: controllable agents, which are directly controlled by the system's designer, and uncontrollable agents, which are not under the designer's direct control. We refer to such systems as partially controlled multi-agent systems, and w...

Motivated by the control theoretic distinction between controllable and uncontrollable events, we distinguish between two types of agents within a multi-agent system: controllable agents, which are directly controlled by the system's designer, and uncontrollable agents, which are not under the designer's direct control. We refer to such systems as partially controlled multi-agent systems, and w...

Network controllability recently stimulates researchers' growing interests, and large-scale networked systems in real applications can be well described by multilayer networks. The intrinsic relationship between network multiple types of connection structures is far from clear needs further investigations. This paper studies the state networks with high-dimensional nodal systems, where topology...