Standard

MASL: A Logic for the Specification of Multiagent Real-Time Systems. / Bugaychenko, Dmitry; Soloviev, Igor.

Multi-Agent Systems and Applications V: 5th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2007, Leipzig, Germany, September 25-27, 2007, Proceedings. Springer Nature, 2007. p. 183-192 (Lecture Notes in Computer Science ; Vol. 4696).

Research output: Chapter in Book/Report/Conference proceeding › Article in an anthology › Research

Harvard

Bugaychenko, D & Soloviev, I 2007, MASL: A Logic for the Specification of Multiagent Real-Time Systems. in Multi-Agent Systems and Applications V: 5th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2007, Leipzig, Germany, September 25-27, 2007, Proceedings. Lecture Notes in Computer Science , vol. 4696, Springer Nature, pp. 183-192, 5th International Central and Eastern European Conference on Multi-Agent Systems, Leipzig, Russian Federation, 25/09/07. https://doi.org/10.1007/978-3-540-75254-7_19

APA

Bugaychenko, D., & Soloviev, I. (2007). MASL: A Logic for the Specification of Multiagent Real-Time Systems. In Multi-Agent Systems and Applications V: 5th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2007, Leipzig, Germany, September 25-27, 2007, Proceedings (pp. 183-192). (Lecture Notes in Computer Science ; Vol. 4696). Springer Nature. https://doi.org/10.1007/978-3-540-75254-7_19

Vancouver

Bugaychenko D, Soloviev I. MASL: A Logic for the Specification of Multiagent Real-Time Systems. In Multi-Agent Systems and Applications V: 5th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2007, Leipzig, Germany, September 25-27, 2007, Proceedings. Springer Nature. 2007. p. 183-192. (Lecture Notes in Computer Science ). https://doi.org/10.1007/978-3-540-75254-7_19

Author

Bugaychenko, Dmitry ; Soloviev, Igor. / MASL: A Logic for the Specification of Multiagent Real-Time Systems. Multi-Agent Systems and Applications V: 5th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2007, Leipzig, Germany, September 25-27, 2007, Proceedings. Springer Nature, 2007. pp. 183-192 (Lecture Notes in Computer Science ).

BibTeX

@inbook{ca9b197449644b4cb69c6c44ede6daf4,
title = "MASL: A Logic for the Specification of Multiagent Real-Time Systems",
abstract = "In this paper we present a logic to provide a framework for the formal specification of multiagent real-time systems which allows explicit reasoning about the actions of agents, the nondeterministic model of interaction between agents and environment, the cooperation and competition of agents and the reaction time limits of a system. The logic combines Propositional Dynamic Logic PDL and Alternating-time Temporal Logic ATL and extends the formalism with reaction time constraints. We introduce a multiagent system abstract model and show how the logic can be used to specify the model properties.",
keywords = "multi-agent systems, formal specification, model checking",
author = "Dmitry Bugaychenko and Igor Soloviev",
note = "Bugaychenko, D., Soloviev, I. (2007). MASL: A Logic for the Specification of Multiagent Real-Time Systems. In: Burkhard, HD., Lindemann, G., Verbrugge, R., Varga, L.Z. (eds) Multi-Agent Systems and Applications V. CEEMAS 2007. Lecture Notes in Computer Science(), vol 4696. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-75254-7_19; 5th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2007 ; Conference date: 25-09-2007 Through 27-09-2007",
year = "2007",
doi = "10.1007/978-3-540-75254-7_19",
language = "English",
isbn = "9783540752530",
series = "Lecture Notes in Computer Science ",
publisher = "Springer Nature",
pages = "183--192",
booktitle = "Multi-Agent Systems and Applications V",
address = "Germany",

}

RIS

TY - CHAP

T1 - MASL: A Logic for the Specification of Multiagent Real-Time Systems

AU - Bugaychenko, Dmitry

AU - Soloviev, Igor

N1 - Bugaychenko, D., Soloviev, I. (2007). MASL: A Logic for the Specification of Multiagent Real-Time Systems. In: Burkhard, HD., Lindemann, G., Verbrugge, R., Varga, L.Z. (eds) Multi-Agent Systems and Applications V. CEEMAS 2007. Lecture Notes in Computer Science(), vol 4696. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-75254-7_19

PY - 2007

Y1 - 2007

N2 - In this paper we present a logic to provide a framework for the formal specification of multiagent real-time systems which allows explicit reasoning about the actions of agents, the nondeterministic model of interaction between agents and environment, the cooperation and competition of agents and the reaction time limits of a system. The logic combines Propositional Dynamic Logic PDL and Alternating-time Temporal Logic ATL and extends the formalism with reaction time constraints. We introduce a multiagent system abstract model and show how the logic can be used to specify the model properties.

AB - In this paper we present a logic to provide a framework for the formal specification of multiagent real-time systems which allows explicit reasoning about the actions of agents, the nondeterministic model of interaction between agents and environment, the cooperation and competition of agents and the reaction time limits of a system. The logic combines Propositional Dynamic Logic PDL and Alternating-time Temporal Logic ATL and extends the formalism with reaction time constraints. We introduce a multiagent system abstract model and show how the logic can be used to specify the model properties.

KW - multi-agent systems

KW - formal specification

KW - model checking

U2 - 10.1007/978-3-540-75254-7_19

DO - 10.1007/978-3-540-75254-7_19

M3 - Article in an anthology

SN - 9783540752530

T3 - Lecture Notes in Computer Science

SP - 183

EP - 192

BT - Multi-Agent Systems and Applications V

PB - Springer Nature

T2 - 5th International Central and Eastern European Conference on Multi-Agent Systems

Y2 - 25 September 2007 through 27 September 2007

ER -

ID: 4453159