Filters








34 Hits in 3.1 sec

Practical verification of multi-agent systems against Slk specifications

Petr Čermák, Alessio Lomuscio, Fabio Mogavero, Aniello Murano
2018 Information and Computation  
We introduce Strategy Logic with Knowledge, a novel formalism to reason about knowledge and strategic ability in memoryless multi-agent systems with incomplete information.  ...  We introduce MCMAS Slk , an extension of the open-source model checker MCMAS, implementing the proposed algorithm.  ...  Furthermore, since Slk subsumes Atlk*, MCMAS Slk is also the first tool enabling the verification of multi-agent systems against specifications given in Atlk*. Related Work.  ... 
doi:10.1016/j.ic.2017.09.011 fatcat:hkmlwul5hjaf5inl6rqx6ayrwu

Rational verification: game-theoretic verification of multi-agent systems

Alessandro Abate, Julian Gutierrez, Lewis Hammond, Paul Harrenstein, Marta Kwiatkowska, Muhammad Najib, Giuseppe Perelli, Thomas Steeples, Michael Wooldridge
2021 Applied intelligence (Boston)  
multi-agent system – that is, whether the system will exhibit the behavior ϕ represents under the assumption that agents within the system act rationally in pursuit of their preferences.  ...  AbstractWe provide a survey of the state of the art of rational verification: the problem of checking whether a given temporal logic formula ϕ is satisfied in some or all game-theoretic equilibria of a  ...  The classical formulation of correctness does not naturally match the multi-agent system setting because there can be no single specification φ, against which the correctness of a multi-agent system is  ... 
doi:10.1007/s10489-021-02658-y fatcat:k6revqme4bfhtakfsh4jldm7bq

Verifying and Synthesising Multi-Agent Systems against One-Goal Strategy Logic Specifications

Petr Čermák, Alessio Lomuscio, Aniello Murano
2015 PROCEEDINGS OF THE THIRTIETH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE AND THE TWENTY-EIGHTH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE  
In this paper we put forward an automata-based methodology for verifying and synthesising multi-agent systems against specifications given in SL[1G].  ...  Strategy Logic (SL) has recently come to the fore as a useful specification language to reason about multi-agent systems.  ...  The research described in this paper was partly supported by the EPSRC Research Project "Trusted Autonomous Systems" (grant No. EP/I00520X/1) and FP7 EU project 600958-SHERPA).  ... 
doi:10.1609/aaai.v29i1.9444 fatcat:3jo7racunfaytoyg2orvjxpgja

Temporal Planning with Extended Timed Automata

Christine Largouet, Omar Krichen, Yulong Zhao
2016 2016 IEEE 28th International Conference on Tools with Artificial Intelligence (ICTAI)  
We consider a system modeled as a set of interacting agents evolving along time according to explicit timing constraints.  ...  We have chosen to represent each agent using the formalism of Priced Timed Game Automata (PTGA).  ...  In the multi-agent systems community, the verification of systems against ATL specifications has been widely and theoretically explored.  ... 
doi:10.1109/ictai.2016.0086 dblp:conf/ictai/LargouetKZ16 fatcat:ebdkumgeeva3hlez5nf7izvhie

Logic-based technologies for multi-agent systems: a systematic literature review

Roberta Calegari, Giovanni Ciatto, Viviana Mascardi, Andrea Omicini
2020 Autonomous Agents and Multi-Agent Systems  
On the other hand, agents and multi-agent systems (MAS) have been at the core of the design of intelligent systems since their very beginning, and their long-term connection with logic-based technologies  ...  , which characterised their early days, might open new ways to engineer explainable intelligent systems.  ...  (KW4) multi agent system logic verification (KW5) multi agent system logic agent programming (KW6) multi agent system logic agent reasoning (KW7) multi agent system logic society (KW8) multi agent system  ... 
doi:10.1007/s10458-020-09478-3 fatcat:4s2rhluwijan3abqq7dl2htiv4

Characterization of Asynchronous Templates for Integration into Clocked CAD Flows

Kenneth S. Stevens, Yang Xu, Vikas Vij
2009 2009 15th IEEE Symposium on Asynchronous Circuits and Systems  
Asynchronous circuit design can result in substantial benefits of reduced power, improved performance, and high modularity.  ...  This paper proposes a new methodology, based on formal verification and relative timing, to create and prove correct necessary constraints to support asynchronous design with traditional clocked CAD.  ...  The formal verification tool (RT-FV) proves correctness of an implementation against a specification. Timing constraints are represented as logical expressions that make error states unreachable.  ... 
doi:10.1109/async.2009.26 dblp:conf/async/StevensXV09 fatcat:suslhojq5nd3xh3zjx3bq7krga

Re-sensitization of Mycobacterium smegmatis to Rifampicin Using CRISPR Interference Demonstrates Its Utility for the Study of Non-essential Drug Resistance Traits

Valwynne Faulkner, Adrienne Adele Cox, Shan Goh, Annelies van Bohemen, Amanda J. Gibson, Oliver Liebster, Brendan W. Wren, Sam Willcocks, Sharon L. Kendall
2021 Frontiers in Microbiology  
of sgRNAs for CRISPRi.  ...  A greater understanding of the genes involved in antibiotic resistance in Mycobacterium tuberculosis (Mtb) is necessary for the design of improved therapies.  ...  The CRISPRi system overcomes a number of these challenges. A catalytically inactive dCas9 protein is expressed and, guided by sgRNAs, targets a specific gene sequence.  ... 
doi:10.3389/fmicb.2020.619427 pmid:33597931 pmcid:PMC7882622 fatcat:x6id35ftmzblfizyshz56iskum

Upgrading the protection of children from manipulative and addictive strategies in online games: Legal and technical solutions beyond privacy regulation [article]

Tommaso Crepax, Jan Tobias Muehlberg
2022 arXiv   pre-print
In this paper we discuss manipulative and exploitative strategies in the context of online games for children, suggest a number of possible reasons for the failure of the applicable regulatory system,  ...  Despite the increasing awareness from academia, civil society and media to the issue of child manipulation online, the current EU regulatory system fails at providing sufficient levels of protection.  ...  for an AI Act which, in art. 5 sec. b) specifically prohibits "the placing on the market, putting into service or use of an AI system that exploits any of the vulnerabilities of a specific group of persons  ... 
arXiv:2207.09928v1 fatcat:lpliizbmhzheffwllp7izsb3bq

Automatic Verification of Concurrent Stochastic Systems [article]

Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos
2020 arXiv   pre-print
Automated verification techniques for stochastic games allow formal reasoning about systems that feature competitive or collaborative behaviour among rational agents in uncertain or probabilistic settings  ...  We propose an extension of the temporal logic rPATL for specifying quantitative properties in this setting and present corresponding algorithms for verification and strategy synthesis for a variant of  ...  Jamming multi-channel radio systems. A CSG model for jamming multi-channel cognitive radio systems is presented in [79] .  ... 
arXiv:2008.04613v2 fatcat:suxrhl65m5d3zozmrgaz73mg3m

Automatic verification of concurrent stochastic systems

Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos
2021 Formal methods in system design  
AbstractAutomated verification techniques for stochastic games allow formal reasoning about systems that feature competitive or collaborative behaviour among rational agents in uncertain or probabilistic  ...  We propose an extension of the temporal logic rPATL for specifying quantitative properties in this setting and present corresponding algorithms for verification and strategy synthesis for a variant of  ...  To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.  ... 
doi:10.1007/s10703-020-00356-y fatcat:xa2j6kt57fhxvfrzvdt5uorauu

In vitro Susceptibility of Human Cell Lines Infection by Bovine Leukemia Virus

Nury N. Olaya-Galán, Skyler Blume, Kan Tong, HuaMin Shen, Maria F. Gutierrez, Gertrude C. Buehring
2022 Frontiers in Microbiology  
Our results support experimental evidence of BLV infection in humans by demonstrating the susceptibility of human cells to BLV infection, supporting the hypothesis of a natural transmission from cattle  ...  Evidence of the presence of bovine leukemia virus (BLV) in human beings and its association with breast cancer has been published in the literature, proposing it as a zoonotic infection.  ...  Stain is visualized by DAB reaction against anti-dig system. Images visualized at 40 × and 100 × on a Nikon Eclipse E200 optical microscope.  ... 
doi:10.3389/fmicb.2022.793348 pmid:35359744 pmcid:PMC8964291 fatcat:sxy5b5qtcvaa3nwld3okfq4x5m

Global quantitative proteomics reveal up-regulation of endoplasmic reticulum stress response proteins upon depletion of eIF5A in HeLa cells

Ajeet Mandal, Swati Mandal, Myung Hee Park
2016 Scientific Reports  
Integration of functional ontology with expression data of the 104 proteins revealed specific biological processes that are prominently up-or down-regulated.  ...  Yet, the true physiological function and the mechanism of action of eIF5A in vivo have remained elusive for decades 2-4 . eIF5A undergoes a unique posttranslational modification that converts a specific  ...  Acknowledgements The research was supported in part by the Intramural Research Program of National Institute of Dental and Craniofacial Research (NIDCR), NIH. We thank Dr. Edith C.  ... 
doi:10.1038/srep25795 pmid:27180817 pmcid:PMC4867578 fatcat:x2ivatpnxrhlba7zuo3hhdw4eq

Nemosis [chapter]

Antti Vaheri
2017 Encyclopedia of Cancer  
This observation needs further verification before it becomes part of our standard of practice and influences definitely therapeutic choices.  ...  Their use in clinical practice is limited at present.  ...  A unique feature of this L1210 mouse system is its rapid and exponential growth pattern.  ... 
doi:10.1007/978-3-662-46875-3_4002 fatcat:xt3vgg7pyjes5hmumo2qkyhlni

Australia

International Monetary Fund. Asia and Pacific Dept
2020 IMF Staff Country Reports  
practices became embedded.  ...  A practical benchmark for the affordability of housing is its financial attainability.  ...  China is Australia's largest trading partner in terms of both imports (almost onequarter of its total) and exports (almost one-third of its total) .  ... 
doi:10.5089/9781513536088.002 fatcat:lqbdy6ad4fbu5dzestf7ge4oau

Australia: 2015 Article IV Consultation-Press Release; Staff Report; and Statement by the Executive Director for Australia

International Monetary Fund
2015 IMF Staff Country Reports  
practices became embedded.  ...  A practical benchmark for the affordability of housing is its financial attainability.  ...  China is Australia's largest trading partner in terms of both imports (almost onequarter of its total) and exports (almost one-third of its total).  ... 
doi:10.5089/9781513543239.002 fatcat:b6tbudru3ncjlhsufjpwp6bpqy
« Previous Showing results 1 — 15 out of 34 results