Counter Systems for Data Logics
نویسنده
چکیده
Data logics are logical formalisms that are used to specify properties on structures equipped with data (data words, data trees, runs from counter systems, timed words, etc.). In this survey talk, we shall see how satisfiability problems for such data logics are related to reachability problems for counter systems (including counter automata with errors, vector addition systems with states, etc.). This is the opportunity to provide an overview about the relationships between data logics and verification problems for counter systems. T. Janhunen and I. Niemelä (Eds.): JELIA 2010, LNAI 6341, p. 10, 2010. c © Springer-Verlag Berlin Heidelberg 2010
منابع مشابه
On the Complexity of Model-Checking Branching and Alternating-Time Temporal Logics in One-Counter Systems
We study the complexity of the model-checking problem for the branching-time logic CTL∗ and the alternating-time temporal logics ATL/ATL∗ in one-counter processes and one-counter games respectively. The complexity is determined for all three logics when integer weights are input in unary (non-succinct) and binary (succinct) as well as when the input formula is fixed and is a parameter. Further,...
متن کامل(Re) Making the Procrustean Bed? Standardization and Customization as Competing Logics in Healthcare
Recent years have witnessed a parallel and seemingly contradictory trend towards both the standardization and the customization of healthcare and medical treatment. Here, we explore what is meant by ‘standardization’ and ‘customization’ in healthcare settings and explore the implications of these changes for healthcare delivery. We frame the paradox of these divergent and opposing factors in te...
متن کاملPersonalisation - An Emergent Institutional Logic in Healthcare?; Comment on “(Re) Making the Procrustean Bed? Standardization and Customization as Competing Logics in Healthcare”
This commentary on the recent think piece by Mannion and Exworthy reviews their core arguments, highlighting their suggestion that recent forces for personalization have emerged which may counterbalance the strong standardization wave which has been evident in many healthcare settings and systems over the last two decades. These forces for personalization can take very different forms. The comm...
متن کاملProviders and Patients Caught Between Standardization and Individualization: Individualized Standardization as a Solution; Comment on “(Re) Making the Procrustean Bed? Standardization and Customization as Competing Logics in Healthcare”
In their 2017 article, Mannion and Exworthy provide a thoughtful and theory-based analysis of two parallel trends in modern healthcare systems and their competing and conflicting logics: standardization and customization. This commentary further discusses the challenge of treatment decision-making in times of evidence-based medicine (EBM), shared decision-making and personalized medicine. From ...
متن کاملModel-checking Quantitative Alternating-time Temporal Logic on One-counter Game Models
We consider quantitative extensions of the alternating-time temporal logics ATL/ATL∗ called quantitative alternating-time temporal logics (QATL/QATL∗) in which the value of a counter can be compared to constants using equality, inequality and modulo constraints. We interpret these logics in one-counter game models which are infinite duration games played on finite control graphs where each tran...
متن کامل