%0 Book Section %1 Sharpanskykh:2010:ch %A Sharpanskykh, A. %A Treur, J. %B Specification and Verification of Multi-agent Systems %D 2010 %E Dastani, Mehdi %E Hindriks, Koen V. %E Meyer, John-Jules Charles %I Springer %K imported thesis %P 317--352 %R 10.1007/978-1-4419-6984-2_11 %T A Temporal Trace Language for Formal Modelling and Analysis of Agent Systems %X This chapter presents the hybrid Temporal Trace Language (TTL) for formal specification and analysis of dynamic properties of multi-agent systems. This language supports specification of both qualitative and quantitative aspects, and subsumes languages based on differential equations and temporal logics. TTL has a high expressivity and normal forms that enable automated analysis. Software environments for performing verification of TTL specifications have been developed. TTL proved its value in a number of domains. %& 11 %@ 978-1-4419-6984-2

@incollection{Sharpanskykh:2010:ch, abstract = {This chapter presents the hybrid Temporal Trace Language (TTL) for formal specification and analysis of dynamic properties of multi-agent systems. This language supports specification of both qualitative and quantitative aspects, and subsumes languages based on differential equations and temporal logics. TTL has a high expressivity and normal forms that enable automated analysis. Software environments for performing verification of TTL specifications have been developed. TTL proved its value in a number of domains.}, added-at = {2017-03-16T11:50:55.000+0100}, affiliation = {Vrije Universiteit Amsterdam Department of Artificial Intelligence Amsterdam The Netherlands}, author = {Sharpanskykh, A. and Treur, J.}, biburl = {https://www.bibsonomy.org/bibtex/2679932626cdb9eaca1846d14c1540276/krevelen}, booktitle = {Specification and Verification of Multi-agent Systems}, chapter = 11, doi = {10.1007/978-1-4419-6984-2_11}, editor = {Dastani, Mehdi and Hindriks, Koen V. and Meyer, John-Jules Charles}, interhash = {ebadb8e5b53f6093fcd99a54daf24d30}, intrahash = {679932626cdb9eaca1846d14c1540276}, isbn = {978-1-4419-6984-2}, keywords = {imported thesis}, owner = {Rick}, pages = {317--352}, publisher = {Springer}, timestamp = {2017-03-16T11:54:14.000+0100}, title = {A Temporal Trace Language for Formal Modelling and Analysis of Agent Systems}, year = 2010 }