Multi-valued Verification of Strategic Ability

in Fundamenta Informaticae (2020), 175(1-4), 207-251

Some multi-agent scenarios call for the possibility of evaluating specifications in aricher domain of truth values. Examples include runtime monitoring of a temporal property over a growing prefix of an ... [more ▼]

Some multi-agent scenarios call for the possibility of evaluating specifications in aricher domain of truth values. Examples include runtime monitoring of a temporal property over a growing prefix of an infinite path, inconsistency analysis in distributed databases, and verification methods that use incomplete anytime algorithms, such as bounded model checking. In this paper, we present multi-valued alternating-time temporal logic(mv-ATL∗→), an expressive logic to specify strategic abilities in multi-agent systems. It is well known that, for branching-time logics, a general method for model-independent translation from multi-valued to two-valued model checking exists. We show that the method cannot be directly extended to mv-ATL∗→. We also propose two ways of overcoming the problem. Firstly, we identify constraints on formulas for which the model-independent translation can be suitably adapted. Secondly, we present a model-dependent reduction that can be applied to all formulas of mv-ATL∗→. We show that, in all cases, the complexity of verification increases only linearly when new truth values are added to the evaluation domain. We also consider several examples that show possible applications of mv-ATL∗→and motivate its use for model checking multi-agent systems. [less ▲]

Book review Research Handbook on the EU’s Common Foreign and Security Policy

in Common Market Law Review (2020)

Conformal actions of higher-rank lattices on pseudo-Riemannian manifolds

in Geometric and Functional Analysis (2020), 30

We investigate conformal actions of cocompact lattices in higher-rank simple Lie groups on compact pseudo-Riemannian manifolds. Our main result gives a general bound on the real-rank of the lattice, which ... [more ▼]

We investigate conformal actions of cocompact lattices in higher-rank simple Lie groups on compact pseudo-Riemannian manifolds. Our main result gives a general bound on the real-rank of the lattice, which was already known for the action of the full Lie group ([33]). When the real-rank is maximal, we prove that the manifold is conformally flat. This indicates that a global conclusion similar to that of [1] and [17] in the case of a Lie group action might be obtained. We also give better estimates for actions of cocompact lattices in exceptional groups. Our work is strongly inspired by the recent breakthrough of Brown, Fisher and Hurtado on Zimmer’s conjecture [7]. [less ▲]

Ein neuer Streit der Fakultäten?

in Mein, Georg; Pause, Johannes (Eds.) Self and Society in the Corona Crisis: Perspectives from the Humanities and Social Sciences (2020)

Non-problematic and problematic binge-watchers do not differ on prepotent response inhibition: A preregistered pilot experimental study

in Human Behavior and Emerging Technologies (2020), 2

Binge‐watching (i.e., watching multiple episodes of a TV series back‐to‐back) has become standard viewing practice. Yet, this phenomenon has recently generated concerns regarding its potential negative ... [more ▼]

Binge‐watching (i.e., watching multiple episodes of a TV series back‐to‐back) has become standard viewing practice. Yet, this phenomenon has recently generated concerns regarding its potential negative outcomes on the long run. The presumed addictive nature of this behavior has also received increasing scientific interest, with preliminary findings reporting associations between binge‐watching, self‐control impairments, and heightened impulsivity. Nevertheless, previous studies only relied on self‐report data. The current preregistered study therefore investigated whether non‐problematic and problematic binge‐watchers differ not only in self‐report but also in experimental measures of behavioral impulsivity. Based on their viewing characteristics, 60 TV series viewers were allocated to one of three predetermined groups: non‐binge‐watchers, trouble‐free binge‐watchers (absence of negative impact) and problematic binge‐watchers (presence of negative impact). Participants performed tasks assessing response inhibition (Stop‐Signal Task) and impulsive reward seeking (Delay Discounting Task), and completed self‐reported questionnaires on sociodemographics, affect, symptoms of problematic binge‐watching, and impulsive personality traits. According to the preregistered analytic plan, one‐way analyses of covariance (ANCOVAs) were computed to compare the predetermined groups. With gender being controlled for, no differences were identified in self‐report impulsivity and response inhibition abilities. Trouble‐free binge‐watchers reported higher rates of delay discounting than non‐binge‐watchers. Although preliminary, our results challenge the notion that problematic binge‐watching is characterized by the same neuropsychological impairments as in addictive disorders as, contrary to our preregistered hypotheses, no differences emerged between non‐problematic and problematic binge‐watchers regarding self‐control variables considered as hallmarks of the latter. These results suggest the need for formulating and testing alternative conceptualizations of problematic binge‐watching. [less ▲]

Lehrkräftebildung mit Fack ju Göhte. Junge Lehrerinnen und Lehrer zwischen Adoleszenz und Verantwortung

Book published by Psychosozial -Verlag - Psychosozial-Verlag (2020)

Practicing Biomedicine at the Albert Schweitzer Hospital 1913-1965: Ideas and Improvisations

Book published by Brill (2020)

Matrimonial Regulations, Commentary of Article 37 - Grounds of non recognition

in Viarengo, Ilaria; Franzina, Pietro (Eds.) The EU Regulations on the Property Regimes of International Couples - A Commentary (2020)

This article-by-article Commentary on EU Regulations 2016/1103 and 2016/1104 critically examines the uniform rules adopted by the EU to deal with the property relations of international couples, both ... [more ▼]

This article-by-article Commentary on EU Regulations 2016/1103 and 2016/1104 critically examines the uniform rules adopted by the EU to deal with the property relations of international couples, both married and in registered partnerships. Written by experts from a variety of European countries, it offers a comprehensive side-by-side discussion of the two Regulations to provide context and a deeper understanding of the issues of jurisdiction, applicable law and recognition of judgements covered. Copyright & permissions Recommend to librarian Download leaflet Print page More Information Critical Acclaim Contributors Contents This article-by-article Commentary on EU Regulations 2016/1103 and 2016/1104 critically examines the uniform rules adopted by the EU to deal with the property relations of international couples, both married and in registered partnerships. It offers a comprehensive side-by-side discussion of the two Regulations to provide context and a deeper understanding of the issues of jurisdiction, applicable law and recognition of judgements covered. Written by experts from a variety of European countries, this Commentary draws on scholarship and practice from a number of EU states to enrich its analysis and explore pertinent questions of jurisprudence. It also highlights the close relationship of the Regulations with other legislative measures of the EU in the field of private international law, such as on matters of succession and matrimonial matters. This Commentary will be a crucial reference source for practitioners working as family litigation lawyers, estate planning lawyers and notaries. It will also be of interest to scholars and other practitioners working in the field of private international law. [less ▲]

Matrimonial Regulations, Commentary of Article 51 - Refusal or Revocation of Declaration of Enforceability

in Viarengo, Ilaria; Franzina, Pietro (Eds.) The EU Regulations on the Property Regimes of International Couples - A Commentary (2020)

This article-by-article Commentary on EU Regulations 2016/1103 and 2016/1104 critically examines the uniform rules adopted by the EU to deal with the property relations of international couples, both ... [more ▼]

This article-by-article Commentary on EU Regulations 2016/1103 and 2016/1104 critically examines the uniform rules adopted by the EU to deal with the property relations of international couples, both married and in registered partnerships. It offers a comprehensive side-by-side discussion of the two Regulations to provide context and a deeper understanding of the issues of jurisdiction, applicable law and recognition of judgements covered. Written by experts from a variety of European countries, this Commentary draws on scholarship and practice from a number of EU states to enrich its analysis and explore pertinent questions of jurisprudence. It also highlights the close relationship of the Regulations with other legislative measures of the EU in the field of private international law, such as on matters of succession and matrimonial matters. This Commentary will be a crucial reference source for practitioners working as family litigation lawyers, estate planning lawyers and notaries. It will also be of interest to scholars and other practitioners working in the field of private international law. [less ▲]

Matrimonial Regulations, Commentary of Article 60 - Enforceability of Courts Settlements

in Viarengo, Ilaria; Franzina, Pietro (Eds.) The EU Regulations on the Property Regimes of International Couples - A Commentary (2020)

This article-by-article Commentary on EU Regulations 2016/1103 and 2016/1104 critically examines the uniform rules adopted by the EU to deal with the property relations of international couples, both ... [more ▼]

This article-by-article Commentary on EU Regulations 2016/1103 and 2016/1104 critically examines the uniform rules adopted by the EU to deal with the property relations of international couples, both married and in registered partnerships. It offers a comprehensive side-by-side discussion of the two Regulations to provide context and a deeper understanding of the issues of jurisdiction, applicable law and recognition of judgements covered. Written by experts from a variety of European countries, this Commentary draws on scholarship and practice from a number of EU states to enrich its analysis and explore pertinent questions of jurisprudence. It also highlights the close relationship of the Regulations with other legislative measures of the EU in the field of private international law, such as on matters of succession and matrimonial matters. This Commentary will be a crucial reference source for practitioners working as family litigation lawyers, estate planning lawyers and notaries. It will also be of interest to scholars and other practitioners working in the field of private international law. [less ▲]