A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Filters
Practical verification of multi-agent systems against Slk specifications
2018
Information and Computation
Preserved Fulltext
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
2021
Applied intelligence (Boston)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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
2015
PROCEEDINGS OF THE THIRTIETH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE AND THE TWENTY-EIGHTH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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
2016
2016 IEEE 28th International Conference on Tools with Artificial Intelligence (ICTAI)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2020
Autonomous Agents and Multi-Agent Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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
2009
2009 15th IEEE Symposium on Asynchronous Circuits and Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2021
Frontiers in Microbiology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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]
2022
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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]
2020
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Other Versions
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
2021
Formal methods in system design
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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
2022
Frontiers in Microbiology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is text/html.
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
2016
Scientific Reports
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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]
2017
Encyclopedia of Cancer
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2020
IMF Staff Country Reports
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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
2015
IMF Staff Country Reports
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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