Real-Time Conditional Commitment Logic

Kholy, Warda El; Menshawy, Mohamed El; Laarej, Amine; Al-Saqqar, Faisal; Dssouli, Rachida

doi:10.1007/978-3-319-25524-8_37

Search citation statements

Order By: Relevance

Paper Sections

Select...

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2018

2020

Publication Types

Select...

Article3

Book1

Relationship

Self Cite0

Independent4

Authors

Journals

Cited by 4 publications

(1 citation statement)

References 14 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The tasks with hard temporal constraints are always executed within the deadline and the agent tries to improve the result for soft deadline. [37] presented an extension of Computation Tree Logic called RTCTLcc for the specification of real-time properties of multi-agent systems. They argued that RTCTLcc can be used to formally model the interaction among agents with temporal constraints.…”

mentioning

confidence: 99%

Formal Modelling of Real-Time Self-Adaptive Multi-Agent Systems

Qasim¹,

Kazim²

2018

AUTOSOFT

View full text Add to dashboard Cite

I hereby declare that except where specific reference is made to the work of others, the contents of this dissertation are original and have not been submitted in whole or in part for consideration for any other degree or qualification in this, or any other university. This dissertation is my own work and contains nothing which is the outcome of work done in collaboration with others, except as specified in the text and Acknowledgements. This dissertation contains fewer than 65,000 words including appendices, bibliography, footnotes, tables and equations and has fewer than 150 figures.

show abstract

mentioning

confidence: 99%