Filters








1,415 Hits in 5.9 sec

Flexible Timeline-Based Plan Verification [chapter]

A. Cesta, A. Finzi, S. Fratini, A. Orlandini, E. Tronci
<span title="">2009</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
Timeline-Based Planning and Execution Timeline-based planning is an approach to temporal planning [9] where the generated plans are represented by sets of timelines.  ...  Flexible temporal planning is a general technique that has demonstrated wide applications possibilities in heterogeneous domains.  ...  Timed Game Automata A fundamental concept in Timed Automata is time. First, we give the formal definition of clocks and relations that can be defined over them.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-04617-9_7">doi:10.1007/978-3-642-04617-9_7</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/reltpodtnzbtrblbnurkcd76ra">fatcat:reltpodtnzbtrblbnurkcd76ra</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170706033833/http://mclab.di.uniroma1.it/publications/papers/papers/Cesta2009a.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/ce/f0/cef03567d14026ee9afa5931b294197cc309e556.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-04617-9_7"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Context-Aware Service Composition in Pervasive Computing Environments [chapter]

Sonia Ben Mokhtar, Damien Fournier, Nikolaos Georgantas, Valérie Issarny
<span title="">2006</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
In this paper, we present an approach to the dynamic, context-aware composition of services to perform user tasks, i.e., software applications abstractly described on the user's handheld device.  ...  Both networked services and user tasks are modeled as semantic Web services in OWL-S extended with context information.  ...  Our objective in using finite state automata is to translate the problem of integrating complex processes to an automata analysis problem.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/11751113_10">doi:10.1007/11751113_10</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/aqnkplzg6rhzfd46lackwfqq6i">fatcat:aqnkplzg6rhzfd46lackwfqq6i</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170921192303/https://hal.inria.fr/inria-00415111/document" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/ef/23/ef23a29eabcd59f835cff7d54d4bee4355e7f800.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/11751113_10"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Let's Learn Their Language? A Case for Planning with Automata-Network Languages from Model Checking

Jorg Hoffmann, Holger Hermanns, Michaela Klauck, Marcel Steinmetz, Erez Karpas, Daniele Magazzeni
<span title="2020-04-03">2020</span> <i title="Association for the Advancement of Artificial Intelligence (AAAI)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/wtjcymhabjantmdtuptkk62mlq" style="color: black;">PROCEEDINGS OF THE THIRTIETH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE AND THE TWENTY-EIGHTH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE</a> </i> &nbsp;
We advocate that idea here – to use automata-network languages from model checking instead of PDDL – motivated by modeling difficulties relating to planning agents surrounded by exogenous agents in complex  ...  We believe there's a case to be made for the latter, as one modeling alternative in planning among others.  ...  Acknowledgments This work was funded by DFG grant 389792660 as part of TRR 248 (see https://perspicuous-computing.science, and was partially supported by the ERC Advanced Investigators Grant 695614 (POWVER  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1609/aaai.v34i09.7083">doi:10.1609/aaai.v34i09.7083</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/zm2sisjb7rhohgtvxpyspv4eke">fatcat:zm2sisjb7rhohgtvxpyspv4eke</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20201104151752/https://aaai.org/ojs/index.php/AAAI/article/download/7083/6937" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/b6/ca/b6cabbe314969089a90b419f635a2a0e0fd6060f.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1609/aaai.v34i09.7083"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

A Prototype for the Robust Execution of Flexible Plans

Lanzilli Annarita, Cialdea Mayer Marta, Cesta Amedeo, Orlandini Andrea, Umbrico Alessandro
<span title="2019-11-19">2019</span> <i title="Zenodo"> Zenodo </i> &nbsp;
In this work, we present a new software prototype, tiga2exec, for dynamic controllable execution of timeline-based plans leveraging recent results gathered from the integration of P&S and Model Checking  ...  techniques. tiga2exec is deployed in a timeline-based planning system to control plan execution guaranteeing dynamic controllability.  ...  Acnkowledgments CNR authors are partially supported by the E.C. and ShareWork project (H2020 -Factories of the Future G.A. nr. 820807).  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5281/zenodo.3859886">doi:10.5281/zenodo.3859886</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/vizz5qjorrfb3ebolj2tsm3k4i">fatcat:vizz5qjorrfb3ebolj2tsm3k4i</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200603075803/https://zenodo.org/record/3859886/files/overlay%20main.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/63/be/63bea1eec36f35feb0a6eace45f4c9f6c996e408.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5281/zenodo.3859886"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> zenodo.org </button> </a>

Local Planning Semantics: A Semantics for Distributed Real-Time Systems

Mahieddine Dellabani, Jacques Combaz, Saddek Bensalem, Marius Bozga
<span title="2017-10-03">2017</span> <i title="Leibniz Transactions on Embedded Systems"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/pekjt2cs6rgr5afussun3dewlm" style="color: black;">Leibniz Transactions on Embedded Systems</a> </i> &nbsp;
In this paper, we investigate a formal model for such systems as compositions of timed automata subject to multiparty interactions, and propose a semantics aiming to overcome the communication delays problem  ...  Such systems are prone to different kinds of delay, such as execution time of actions or communication delays implied by distributed platforms.  ...  In other cases, the user may want to plan an interaction with flexible amount time.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4230/lites-v006-i001-a001">doi:10.4230/lites-v006-i001-a001</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/journals/lites/DellabaniCBB19.html">dblp:journals/lites/DellabaniCBB19</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/xdg2bjo6rrghjado3hrokrifbu">fatcat:xdg2bjo6rrghjado3hrokrifbu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200222195604/https://ojs.dagstuhl.de/index.php/lites/article/download/LITES-v006-i001-a001/lites-v006-i001-a001-pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/5a/99/5a99d8fb70b3ac34bea2182c8f9874d135957748.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4230/lites-v006-i001-a001"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

Temporal Planning with Extended Timed Automata

Christine Largouet, Omar Krichen, Yulong Zhao
<span title="">2016</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/jsqaafbrfneh7jtfvpjfzhs3ni" style="color: black;">2016 IEEE 28th International Conference on Tools with Artificial Intelligence (ICTAI)</a> </i> &nbsp;
We have chosen to represent each agent using the formalism of Priced Timed Game Automata (PTGA).  ...  PTGA is an extension of Timed Automata that allows the representation of cost on actions and uncontrollable actions.  ...  To model the system we chose the formalism of Priced Timed Game Automata (PTGA), an extension of timed automata [12] .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/ictai.2016.0086">doi:10.1109/ictai.2016.0086</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/ictai/LargouetKZ16.html">dblp:conf/ictai/LargouetKZ16</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ebdkumgeeva3hlez5nf7izvhie">fatcat:ebdkumgeeva3hlez5nf7izvhie</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170927134632/https://hal.archives-ouvertes.fr/hal-01398695/document" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/61/03/610381049310436950ac182914727f13a7acf7a2.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/ictai.2016.0086"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

mctau: Bridging the Gap between Modest and UPPAAL [chapter]

Jonathan Bogdoll, Alexandre David, Arnd Hartmanns, Holger Hermanns
<span title="">2012</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
Modest is a high-level compositional modelling language for stochastic timed systems with a formal semantics in terms of stochastic timed automata, an overarching formalism of which several well-studied  ...  In this paper, we focus on networks of timed automata as supported by Uppaal.  ...  a formal semantics in terms of stochastic timed automata (STA).  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-31759-0_16">doi:10.1007/978-3-642-31759-0_16</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/cfg3gbt5zvdaxkd5ptagi266jm">fatcat:cfg3gbt5zvdaxkd5ptagi266jm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20161008083634/http://spinroot.com/spin/Workshops/ws12/spin2012_submission_6.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/ca/3c/ca3c0e2d2e33cbbbd3c716d7db37d0cf270d8808.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-31759-0_16"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Data-abstraction refinement: a game semantic approach

Adam Bakewell, Aleksandar Dimovski, Dan R. Ghica, Ranko Lazić
<span title="2010-03-14">2010</span> <i title="Springer Nature"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/zzy5ovlifvatfirg4js7u4uetq" style="color: black;">International Journal on Software Tools for Technology Transfer (STTT)</a> </i> &nbsp;
We use a fully abstract game semantics in the style of Hyland and Ong and a more intensional version of the model that tracks nondeterminism introduced by abstraction in order to detect false counterexamples  ...  The presentation is focused on an Algol-like programming language that incorporates data abstraction in its type system.  ...  constructed using game-semantic models correspond to actual terms in the programming languages.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s10009-010-0143-0">doi:10.1007/s10009-010-0143-0</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/qblbqse43nca3eaogueqnvakke">fatcat:qblbqse43nca3eaogueqnvakke</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20161027163752/http://www.cs.bham.ac.uk/~drg/papers/sttt10.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/c8/eb/c8eb31e0c2c5acbd6353668397ccea3994f3ec9f.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s10009-010-0143-0"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Quantitative reactive modeling and verification

Thomas A. Henzinger
<span title="2013-10-05">2013</span> <i title="Springer Nature"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/vdv2cjwoijecjpy4gktx7ptxuq" style="color: black;">Computer Science - Research and Development</a> </i> &nbsp;
The theory will be evaluated not only in the context of software and hardware engineering, but also in the context of systems biology.  ...  We suggest that the boolean partition of software into correct and incorrect programs falls short of the practical need to assess the behavior of software in a more nuanced fashion against multiple criteria  ...  Above all, the author thanks his many wonderful collaborators on the topic of this project.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s00450-013-0251-7">doi:10.1007/s00450-013-0251-7</a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pubmed/27069511">pmid:27069511</a> <a target="_blank" rel="external noopener" href="https://pubmed.ncbi.nlm.nih.gov/PMC4811300/">pmcid:PMC4811300</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/cimfqu272beijj6dgqpvsz7koy">fatcat:cimfqu272beijj6dgqpvsz7koy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20171114152613/http://publisher-connector.core.ac.uk/resourcesync/data/Springer-OA/pdf/f94/aHR0cDovL2xpbmsuc3ByaW5nZXIuY29tLzEwLjEwMDcvczAwNDUwLTAxMy0wMjUxLTcucGRm.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/a5/7f/a57fd52e631edd8e3ad7ac60fb1d3ecef4370eda.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s00450-013-0251-7"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pmc/articles/PMC4811300" title="pubmed link"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> pubmed.gov </button> </a>

On the Power of Statistical Model Checking [chapter]

Kim G. Larsen, Axel Legay
<span title="">2016</span> <i title="Springer International Publishing"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
Importantly, the distributions provided by the stochastic semantics are in agreement with the delay intervals determined by the standard semantics of the underlying timed automata.  ...  Example Now consider a game version of the Train Gate example given in Fig. 8a , between an environment consisting of the various trains -with uncontrollable behaviour in terms of when to approach, and  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-47169-3_62">doi:10.1007/978-3-319-47169-3_62</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/n5qwlsmzkvaqnfmkjdbfgps66a">fatcat:n5qwlsmzkvaqnfmkjdbfgps66a</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180723105620/https://hal.inria.fr/hal-01406537/file/c162.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/be/9e/be9e9f64fc5a7d782e9ecbadb6fe83a5801aa92d.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-47169-3_62"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Timeline-based planning: Expressiveness and Complexity [article]

Nicola Gigante
<span title="2021-07-23">2021</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
We identify a few issues in the state-of-the-art approach based on flexible plans, proposing timeline-based games, a more general game-theoretic formulation of the problem, that addresses those issues.  ...  We show that winning strategies for such games can be found in doubly-exponential time.  ...  This kind of uncertainty is taken into account, and the controller executing the plan can handle it, by the use of flexible plans, i.e., sets of different plans that differ in the execution time of the  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1902.06123v2">arXiv:1902.06123v2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/jpocntct5fawnfc3anpgcqojya">fatcat:jpocntct5fawnfc3anpgcqojya</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20210727175759/https://arxiv.org/ftp/arxiv/papers/1902/1902.06123.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/73/ea/73ea19ef83f4953db84bdfa08c43c4c9e6618216.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1902.06123v2" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Multi-Player Games with LDL Goals over Finite Traces [article]

Julian Gutierrez and Giuseppe Perelli and Michael Wooldridge
<span title="2020-08-13">2020</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
In particular, using alternating automata, the paper investigates automata-theoretic approaches to the characterisation and verification of (pure strategy Nash) equilibria, shows that the set of Nash equilibria  ...  This study builds upon a generalisation of Boolean games, a logic-based game model of multi-agent systems where players have goals succinctly represented in a logical way.  ...  Acknowledgments This paper is an extended version of [20] . We acknowledge with gratitude the financial support of the ERC Advanced Investigator grant 291528 ("RACE") at Oxford.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2008.05647v1">arXiv:2008.05647v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/vlkkygbiz5gtfcjllvb5wdrhbm">fatcat:vlkkygbiz5gtfcjllvb5wdrhbm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200817202849/https://arxiv.org/pdf/2008.05647v1.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2008.05647v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

A Framework for Automatic Initialization of Multi-Agent Production Systems Using Semantic Web Technologies

Felix Ocker, Ilya Kovalenko, Kira Barton, Dawn Tilbury, Birgit Vogel-Heuser
<span title="">2019</span> <i title="Institute of Electrical and Electronics Engineers (IEEE)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/g32gcto57vduveq2eb7bes5y7a" style="color: black;">IEEE Robotics and Automation Letters</a> </i> &nbsp;
On the one hand, the KBs of RAs describe the RAs' capabilities in terms of product features and production processes.  ...  Mass customization and global competition require Cyber-Physical Systems of Systems (CPSoS) to become increasingly flexible.  ...  This way, we create automata for the PAs, which describe the states and transitions allowed as well as dictionaries that list the RAs' capabilities in terms of features and processes.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/lra.2019.2931825">doi:10.1109/lra.2019.2931825</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/qns3iqw2qrbfheyrmoc5vslq5e">fatcat:qns3iqw2qrbfheyrmoc5vslq5e</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20201108081832/https://ieeexplore.ieee.org/ielx7/7083369/8764082/08779665.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/3f/9a/3f9aee9f7a24baed01e28e07038e95f2bdde760d.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/lra.2019.2931825"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Open and Branching Behavioral Synthesis with Scenario Clauses

Fernando Asteasuain, Federido Calonge, Manuel Dubinsky, Pablo Gamboa
<span title="2021-12-20">2021</span> <i title="Centro Latino Americano de Estudios en Informatica"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/nrvxq3obcffwjpp5iubxkgedxy" style="color: black;">CLEI Electronic Journal</a> </i> &nbsp;
In particular, expressivity of the specification language is a key factor, especially when dealing with Open Systems and controllability of events and branching time behavior reasoning.  ...  The validity of our approach is proved by employing FVS in complex, complete, and industrial relevant case studies, showing the flexibility and expressive power of FVS, which constitute the crucial features  ...  Analyzing the reasons behind this fact might lead to significant improvements of our executions times.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.19153/cleiej.24.3.1">doi:10.19153/cleiej.24.3.1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/f2mw4saoo5d3tpo3woh4tzv5tq">fatcat:f2mw4saoo5d3tpo3woh4tzv5tq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20220205093102/https://www.clei.org/cleiej/index.php/cleiej/article/download/512/416" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/ba/3b/ba3b1a98b023deaea7385232d059453c3f1bc424.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.19153/cleiej.24.3.1"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

Personalized Active Service Spaces for End-User Service Composition

Jun Han, Yanbo Han, Yan Jin, Jianwu Wang, Jian Yu
<span title="">2006</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/5etdl6iwengojcucbboasbklty" style="color: black;">2006 IEEE International Conference on Services Computing (SCC&#39;06)</a> </i> &nbsp;
End-users will certainly be at loss if they have to select from a long list of available Web services expressed in IT jargons.  ...  It addresses two key issues in end-user composition: how to utilize the user preference and context to restrict the scope of applicable services for selection, and how to capture and utilize dependencies  ...  For example, if John plans to do the journalist's business, he may want services in the space are game-speculating related, e.g. "Get Game-Schedule", "Book Game-Ticket", "Deliver Game-Ticket", etc.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/scc.2006.80">doi:10.1109/scc.2006.80</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/IEEEscc/HanHJWY06.html">dblp:conf/IEEEscc/HanHJWY06</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/65stwg2qnbhjzbfwz4tjekimxu">fatcat:65stwg2qnbhjzbfwz4tjekimxu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809110851/http://users.sdsc.edu/~jianwu/JianwuWang_files/PERSONALIZED%20ACTIVE%20SERVICE%20SPACES%20FOR%20END-USER%20SERVICE%20COMPOSITION%20(SCC%202006).pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/5e/0c/5e0cc08f48bb6b4c67dff59123074b492d8338c4.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/scc.2006.80"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 1,415 results