scholarly journals Decision Problems for Parametric Timed Automata

2016 ◽  
pp. 400-416 ◽  
Author(s):  
Étienne André ◽  
Didier Lime ◽  
Olivier H. Roux
Keyword(s):  
Timed Automata ◽  
Decision Problems

Decision problems for lower/upper bound parametric timed automata

2009 ◽  
Vol 35 (2) ◽  
pp. 121-151 ◽  
Author(s):  
Laura Bozzelli ◽  
Salvatore La Torre
Keyword(s):  
Upper Bound ◽  
Timed Automata ◽  
Decision Problems ◽  
Lower Upper

Bipolar Abstract Argumentation with Dual Attacks and Supports

2020 ◽  
Author(s):  
Nico Potyka
Keyword(s):  
Computational Complexity ◽  
Decision Problems ◽  
Abstract Argumentation ◽  
Stable Semantics ◽  
Support Relations ◽  
Support Relationships ◽  
Computational Properties ◽  
Inherent Tendency

Bipolar abstract argumentation frameworks allow modeling decision problems by defining pro and contra arguments and their relationships. In some popular bipolar frameworks, there is an inherent tendency to favor either attack or support relationships. However, for some applications, it seems sensible to treat attack and support equally. Roughly speaking, turning an attack edge into a support edge, should just invert its meaning. We look at a recently introduced bipolar argumentation semantics and two novel alternatives and discuss their semantical and computational properties. Interestingly, the two novel semantics correspond to stable semantics if no support relations are present and maintain the computational complexity of stable semantics in general bipolar frameworks.

Modeling and Verifying Services of Internet of Things Based on Timed Automata

2011 ◽  
Vol 34 (8) ◽  
pp. 1365-1377 ◽  
Author(s):  
Li-Xing LI ◽  
Zhi JIN ◽  
Ge LI
Keyword(s):  
Internet Of Things ◽  
Timed Automata

Multiobjective Hierarchical Decision Problems in C3, III.

1985 ◽  
Author(s):  
UNIVERSITY OF SOUTHERN CALIFORNIA DOWNEY
Keyword(s):  
Decision Problems ◽  
Hierarchical Decision
Sign in / Sign up

Export Citation Format

Share Document