On the boundary of (un)decidability: decidable model-checking for a fragment of resource agent logic

QR Code

On the boundary of (un)decidability: decidable model-checking for a fragment of resource agent logic

The model-checking problem for Resource Agent Logic is known to be undecidable. We review existing (un)decidability results and identify a significant fragment of the logic for which model checking is decidable. We discuss aspects which makes model checking decidable and prove undecidability of two...

Full description

Bibliographic Details
Main Authors:	Alechina, Natasha, Bulling, Nils, Logan, Brian, Nguyen, Hoang Nga
Format:	Conference or Workshop Item
Published:	2015
Online Access:	https://eprints.nottingham.ac.uk/30178/

Similar Items

The virtues of idleness: a decidable fragment of resource agent logic
by: Alechina, Natasha, et al.
Published: (2017)

Decidable model-checking for a resource logic with production of resources
by: Alechina, Natasha, et al.
Published: (2014)

On the complexity of resource-bounded logics
by: Alechina, Natasha, et al.
Published: (2016)

Model-checking for resource-bounded ATL with production and consumption of resources
by: Alechina, Natasha, et al.
Published: (2017)

Symbolic model checking for one-resource RB+-ATL
by: Alechina, Natasha, et al.
Published: (2015)

Alternating-time temporal logic with resource bounds
by: Nguyen, Hoang Nga, et al.
Published: (2015)

Resource logics with a diminishing resource: extended abstract
by: Alechina, Natasha, et al.
Published: (2018)

Helping teenagers decide on their future
by: Ng, Alvin Lai Oon *
Published: (2022)

After SPM: deciding the future
by: Sani, Rozana
Published: (2017)

On the complexity of resource-bounded logics
by: Alechina, N., et al.
Published: (2018)

Varsities can decide on their own closure
Published: (2010)

Verifying systems of resource-bounded agents
by: Alechina, Natasha, et al.
Published: (2016)

Learning from decided construction cases and commentaries
by: Syed Abdul Kader, Sharifah Zubaidah
Published: (2015)

Takeover bids - should the board or shareholders decide?
by: Ambaras Khan, Mushera Bibi
Published: (2010)

Takeover bids - should the board or shareholders decide?
by: Ambaras Khan, Mushera Bibi
Published: (2010)

Takeover bids - Should the board or shareholders decide?
by: Ambaras Khan, Mushera Bibi
Published: (2010)

The deciding factors for expatriate purchase of property in Malaysia
by: Amer Adel, Shahad
Published: (2019)

Universities given autonomy to decide, says Idris
by: New Sarawak Tribune
Published: (2016)

Practical run-time norm enforcement with bounded lookahead
by: Alechina, Natasha, et al.
Published: (2015)

Magnesium Impurities Decide the Structure of Calcium Carbonate Hemihydrate
by: Aufort, Julie, et al.
Published: (2020)

An Absurd Inconsistency in Law: Nicklinson’s Case and Deciding to Die
by: Douglas, Michael
Published: (2014)

"Legal exposure" lifting the corporate veil in deciding matrimonial property
by: Abd Ghadas, Zuhairah Ariff, et al.
Published: (2010)

How consumers decide to buy during the pandemic Covid-19?
by: Nordin, Muhammad Iqbal, et al.
Published: (2022)

Basic structure doctrine and its application in Malaysia: with reference to decided cases
by: Ali Mohamed, Ashgar Ali
Published: (2020)

The experiences of Australian lesbian couples becoming parents: deciding, searching and birthing
by: Chapman, Rosemary, et al.
Published: (2012)

"Legal Exposure": lifting the corporate veil in deciding matrimonial property (harta sepencarian)
by: Ibrahim, Norliah, et al.
Published: (2009)

Deciding to stay or go: Understanding the career intentions of women in the Australian mining industry
by: Nowak, Margaret, et al.
Published: (2014)

Factors determining welfare of the child in Malaysian civil law of custody: an analysis of decided cases
by: Abd Malek, Normi
Published: (2011)

Power to decide on development applications under the National Land Code 1965: the position in Selangor
by: Syed Abdul Kader, Sharifah Zubaidah
Published: (2004)

Factors determining welfare of the child in Malaysian civil law of custody: an analysis of decided cases
by: Normi Abdul Malek,
Published: (2011)

Geometry of biofilm carriers: A systematic review deciding the best shape and pore size
by: Al-Amshawee, Sajjad, et al.
Published: (2021)

Using qualitative spatial logic for validating crowd-sourced geospatial data
by: Du, Heshan, et al.
Published: (2015)

The application of maṣlaḥah in deciding faskh and ḥaḍānah cases in sharīᶜah court of federal territory of Kuala Lumpur
by: Naping, Herna, et al.
Published: (2017)

Is language essential? Exploring the role of language on deciding whether to localise or standardise an international advertising campaign.
by: Gkortsila, Marianna
Published: (2015)

Methodology on the trend of underlying shariah contracts and legal disputes of decided Islamic banking cases in Malaysia
by: Ahmad Pauzi, Nur Faakihin, et al.
Published: (2019)

Cases review : judges always promote the concept of morality, justice, and equality in every decided case
by: Nurin Fatehah Hussein,, et al.
Published: (2022)

Deciding the embedding nonlinear model dimensions and data size prior to daily reference evapotranspiration modeling
by: Karimaldini, Fatemeh, et al.
Published: (2010)

Who decides: me or we? family involvement in medical decision making in eastern and western countries
by: Alden, Dana L., et al.
Published: (2017)

You decide whether to eat or not to clarify the authenticity of radiation can Japanese seafood still be eaten
by: Sin Chew Daily
Published: (2023)

Factors on deciding TVET for first choice educational journey among pre-secondary school student
by: Omar, Mohd Khaizer, et al.
Published: (2020)