Near-Optimal Scheduling for LTL with Future Discounting

We study the search problem for optimal schedulers for the linear temporal logic (LTL) with future discounting. The logic, introduced by Almagor, Boker and Kupferman, is a quantitative variant of LTL in which an event in the far future has only discounted contribution to a truth value (that is a real number in the unit interval [0, 1]). The precise problem we study---it naturally arises e.g. in search for a scheduler that recovers from an internal error state as soon as possible---is the following: given a Kripke frame, a formula and a number in [0, 1] called a margin, find a path of the Kripke frame that is optimal with respect to the formula up to the prescribed margin (a truly optimal path may not exist). We present an algorithm for the problem; it works even in the extended setting with propositional quality operators, a setting where (threshold) model-checking is known to be undecidable

Mixing Probabilistic and non-Probabilistic Objectives in Markov Decision Processes

In this paper, we consider algorithms to decide the existence of strategies in MDPs for Boolean combinations of objectives. These objectives are omega-regular properties that need to be enforced either surely, almost surely, existentially, or with non-zero probability. In this setting, relevant strategies are randomized infinite memory strategies: both infinite memory and randomization may be needed to play optimally. We provide algorithms to solve the general case of Boolean combinations and we also investigate relevant subcases. We further report on complexity bounds for these problems.Comment: Paper accepted to LICS 2020 - Full versio

First international new intravascular rigid-flex endovascular stent study (FINESS): Clinical and angiographic results after elective and urgent stent implantation

Objectives. The purpose of this study was to determine the feasibility, safety and efficacy of elective and urgent deployment of the new intravascular rigid-flex (NIR) stent in patients with coronary artery disease. Background. Stent implantation has been shown to be effective in the treatment of focal, new coronary stenoses and in restoring coronary flow after coronary dissection and abrupt vessel closure. However, currently available stents either lack flexibility, hindering navigation through tortuous arteries, or lack axial strength, resulting in suboptimal scaffolding of the vessel. The unique transforming multicellular design of the NIR stent appears to provide both longitudinal flexibility and radial strength. Methods. NIR stent implantation was attempted in 255 patients (341 lesions) enrolled prospectively in a multicenter international registry from December 1995 through March 1996. Nine-, 16- and 32-mm long NIR stents were manually crimped onto coronary balloons and deployed in native coronary (94%) and saphenous vein graft (6%) lesions. Seventy-four percent of patients underwent elective stenting for primary or restenotic lesions, 21% for a suboptimal angioplasty result and 5% for threatened or abrupt vessel closure. Fifty-two percent of patients presented with unstable angina, 48% had a previous myocardial infarction, and 45% had multivessel disease. Coronary lesions were frequently complex, occurring in relatively small arteries (mean [±SD] reference diameter 2.8 ± 0.6 mm). Patients were followed up for 6 months for the occurrence of major adverse cardiovascular events. Results. Stent deployment was accomplished in 98% of lesions. Mean minimal lumen diameter increased by 1.51 ± 0.51 mm (from 1.09 ± 0.43 mm before to 2.60 ± 0.50 mm after the procedure). Mean percent diameter stenosis decreased from 61 ± 13% before to 17 ± 7% after intervention. A successful interventional procedure with <50% diameter stenosis of all treatment site lesions and no major adverse cardiac events within 30 days occurred in 95% of patients. Event-free survival at 6 months was 82%. Ninety-four percent of surviving patients were either asymptomatic or had mild stable angina at 6 month follow-up. Conclusions. Despite unfavorable clinical and angiographic characteristics of the majority of patients enrolled, the acute angiographic results and early clinical outcome after NIR stent deployment were very promising. A prospective, randomized trial comparing the NIR stent with other currently available stents appears warranted

Extending Finite Memory Determinacy to Multiplayer Games

We show that under some general conditions the finite memory determinacy of a class of two-player win/lose games played on finite graphs implies the existence of a Nash equilibrium built from finite memory strategies for the corresponding class of multi-player multi-outcome games. This generalizes a previous result by Brihaye, De Pril and Schewe. For most of our conditions we provide counterexamples showing that they cannot be dispensed with. Our proofs are generally constructive, that is, provide upper bounds for the memory required, as well as algorithms to compute the relevant winning strategies.Comment: In Proceedings SR 2016, arXiv:1607.0269

Developing "personality" taxonomies: Metatheoretical and methodological rationales underlying selection approaches, methods of data generation and reduction principles

Taxonomic "personality" models are widely used in research and applied fields. This article applies the Transdisciplinary Philosophy-of-Science Paradigm for Research on Individuals (TPS-Paradigm) to scrutinise the three methodological steps that are required for developing comprehensive “personality” taxonomies: 1) the approaches used to select the phenomena and events to be studied, 2) the methods used to generate data about the selected phenomena and events and 3) the reduction principles used to extract the “most important” individual-specific variations for constructing “personality” taxonomies. Analyses of some currently popular taxonomies reveal frequent mismatches between the researchers’ explicit and implicit metatheories about “personality” and the abilities of previous methodologies to capture the particular kinds of phenomena toward which they are targeted. Serious deficiencies that preclude scientific quantifications are identified in standardised questionnaires, psychology’s established standard method of investigation. These mismatches and deficiencies derive from the lack of an explicit formulation and critical reflection on the philosophical and metatheoretical assumptions being made by scientists and from the established practice of radically matching the methodological tools to researchers’ preconceived ideas and to pre-existing statistical theories rather than to the particular phenomena and individuals under study. These findings raise serious doubts about the ability of previous taxonomies to appropriately and comprehensively reflect the phenomena towards which they are targeted and the structures of individual-specificity occurring in them. The article elaborates and illustrates with empirical examples methodological principles that allow researchers to appropriately meet the metatheoretical requirements and that are suitable for comprehensively exploring individuals’ “personality”