Filters








6,434 Hits in 12.7 sec

Reuse and Abstraction in Verification: Agents Acting in Dynamic Environments [chapter]

Catholijn M. Jonker, Jan Treur, Wieke de Vries
2002 Agent-Based Defeasible Control in Dynamic Environments  
This is illustrated here by verifying the class of single agents acting in dynamic environments.  ...  Also, the paper contributes to establishing the library by proposing a reusable system of generic co-ordination properties for applications of agents acting in dynamic environments.  ...  Agents that can perceive and act in a dynamic environment are quite common. An example is an agent for process control (e.g. in a chemical factory).  ... 
doi:10.1007/978-94-017-1741-0_17 fatcat:hjv2xbu2n5apvoqojoa5wfrx24

Reuse and Abstraction in Verification: Agents Acting in Dynamic Environments [chapter]

Catholijn M. Jonker, Jan Treur, Wieke de Vries
2001 Lecture Notes in Computer Science  
This is illustrated here by verifying the class of single agents acting in dynamic environments.  ...  Also, the paper contributes to establishing the library by proposing a reusable system of generic co-ordination properties for applications of agents acting in dynamic environments.  ...  Agents that can perceive and act in a dynamic environment are quite common. An example is an agent for process control (e.g. in a chemical factory).  ... 
doi:10.1007/3-540-44564-1_17 fatcat:22pqnaf63rbmxa4uc6n7526pmm

From software verification to 'everyware' verification

Marta Kwiatkowska
2013 Computer Science - Research and Development  
The focus is on a advancing quantitative verification in new and previously unexplored directions, including game-based techniques, incorporation of continuous dynamics in addition to stochasticity, and  ...  Ubiquitous computing is a vision of computing in which the computer disappears from view and becomes embedded in our environment, in the equipment we use, in our clothes, and even in our body.  ...  environment, and the environment (which could well be other agents) would attempt to synchronise and interact on these capabilities.  ... 
doi:10.1007/s00450-013-0249-1 fatcat:yijv5tfqwjb5rlopsnmy6gpsf4

Compositional Verification of Agents in Dynamic Environments: a Case Study

Catholijn M. Jonker, Jan Treur, Wieke de Vries
1998 European Symposium on Validation and Verification of Knowledge Based Systems  
In this paper compositional verification of agents in dynamic environments is studied.  ...  Dynamic properties of an example agent in a dynamic environment are identified in relation to the different abstraction levels of the compositional structure of the system.  ...  This case study of an agent acting in a dynamic world, described in this paper, aims at identification of more detailed proof structures and heuristics for multi-agent systems within a dynamic world.  ... 
dblp:conf/eurovav/JonkerTV98 fatcat:yxa6q4zxwjbvlb3vc7lpa2kiou

Parameterised verification for multi-agent systems

Panagiotis Kouvaros, Alessio Lomuscio
2016 Artificial Intelligence  
The identification may either be dynamic or static. Dynamic cutoffs are identified on-the-fly during the verification procedure.  ...  The methodology is based on the existence of a notion of simulation between the templates for the agents and the template for the environment in the system.  ...  The data reported in this article, including the source code and the models tested, can be accessed from [66] .  ... 
doi:10.1016/j.artint.2016.01.008 fatcat:cgwuba6jbzhvxmrpdqpjirlh2q

Property-based Slicing for Agent Verification

R. H. Bordini, M. Fisher, M. Wooldridge, W. Visser
2009 Journal of Logic and Computation  
In the abstract representation of the environment used here, whenever an agent executes an action, this triggers the left-hand side of an environment rule, and it is precisely at this point in a trace  ...  of agent verification.  ...  In a multi-agent system, agents' actions change the environment and agents perceive changes in the environment.  ... 
doi:10.1093/logcom/exp029 fatcat:tmqd45hro5bd5krii6y4mnbrqm

Formal Specification and Verification of Autonomous Robotic Systems: A Survey [article]

Matt Luckcuck, Marie Farrell, Louise Dennis, Clare Dixon, Michael Fisher
2019 arXiv   pre-print
This paper systematically surveys the state-of-the-art in formal specification and verification for autonomous robotics.  ...  Autonomous robotic systems are complex, hybrid, and often safety-critical; this makes their formal specification and verification uniquely challenging.  ...  The work in [39] uses them to capture the abstract architecture of multiple reactive agents and they are analysed for deadlock freedom.  ... 
arXiv:1807.00048v3 fatcat:ssc63easujgijisrznyzwo7ieq

Modeling and Formal Verification of DHCP Using SPIN

Syed M. S. Islam, Mohammed H. Sqalli, Sohel Khan
2006 International Journal of Computer Science and Applications  
PROMELA is used to specify a system behavior in a formal validation model that defines interactions of processes in a distributed system and allows for the dynamic creation of concurrent processes.  ...  In this paper, a portion of the protocol is chosen for modeling and verification, namely the assignment of new IP address to a newly arriving host.  ...  ACKNOWLEDGEMENT The authors acknowledge and thank King Fahd University of Petroleum and Minerals (KFUPM) for its support and resources to carry out this study.  ... 
dblp:journals/ijcsa/IslamSK06 fatcat:ebekhqynq5cnfivygjdjkhuhwi

Personalization, Verification and Conformance for Logic-based Communicating Agents

Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella, Laura Torasso, Viviana Mascardi
2005 Workshop From Objects to Agents  
The main research lines have concerned personalization of the interaction with web services, personalization of courseware, web services interoperability, and integrated environments for agent oriented  ...  This kind of reasoning has also been integrated in the DCaseLP MAS prototyping environment.  ...  agents, namely agents situated in a dynamically changing software environment and able to identify the portions of their code that should be updated to ensure their correct functioning in the evolving  ... 
dblp:conf/woa/BaldoniBMPSTM05 fatcat:j5nwvsfqefh63e2m7o4l4bwwi4

Practical verification of decision-making in agent-based autonomous systems

Louise A. Dennis, Michael Fisher, Nicholas K. Lincoln, Alexei Lisitsa, Sandor M. Veres
2014 Automated Software Engineering : An International Journal  
We present a verification methodology for analysing the decision-making component in agent-based hybrid systems.  ...  Traditionally hybrid automata have been used to both implement and verify such systems, but hybrid automata based modelling, programming and verification techniques scale poorly as the complexity of discrete  ...  Acknowledgments This research was partially funded by Engineering and Physical Sciences Research  ... 
doi:10.1007/s10515-014-0168-9 fatcat:pvkjhwzn2nfqjbmmwavc6hkqei

Practical Verification of Decision-Making in Agent-Based Autonomous Systems [article]

Louise A. Dennis, Michael Fisher, Nicholas K. Lincoln, Alexei Lisitsa,, Sandor M. Veres
2013 arXiv   pre-print
We present a verification methodology for analysing the decision-making component in agent-based hybrid systems.  ...  Traditionally hybrid automata have been used to both implement and verify such systems, but hybrid automata based modelling, programming and verification techniques scale poorly as the complexity of discrete  ...  Acknowledgements This research was partially funded by Engineering and Physical Sciences Research Council grants EP/F037201 and EP/F037570, And primarily occurred while the third and fifth authors were  ... 
arXiv:1310.2431v1 fatcat:fscdssyjrzdk3n7voco5rzvuhi

Symbolic Abstractions for Quantum Protocol Verification [article]

Lucca Hirschi
2019 arXiv   pre-print
This calls for formal and automated verification techniques that exhaustively explore all possible intruder behaviors and that scale well.  ...  Based on well-designed abstractions, it has allowed for large-scale formal analyses of real-life protocols such as TLS 1.3 and mobile telephony protocols.  ...  Acknwoledgements The author would like to thank David Basin and Ralf Sasse for their helpful comments and suggestions on earlier drafts of this paper and to Renato Renner for his quantum expert feedback  ... 
arXiv:1904.04186v2 fatcat:7lz7ki3oqjarbgcf2mge7btze4

Using Formal Methods for Autonomous Systems: Five Recipes for Formal Verification [article]

Matt Luckcuck
2021 arXiv   pre-print
The recipes are examples of how Formal Methods can be an effective tool for the development and verification of autonomous systems.  ...  Autonomous systems need robust development and verification methods, but formal methods practitioners are often asked: why use Why use Formal Methods for Autonomous Systems?.  ...  Their robot is navigating its environment using the dynamic window algorithm.  ... 
arXiv:2012.00856v2 fatcat:hatdgqwbabbfdbngmjt4q2rroi

A model-checking verification environment for mobile processes

Gian-Luigi Ferrari, Stefania Gnesi, Ugo Montanari, Marco Pistore
2003 ACM Transactions on Software Engineering and Methodology  
The verification environment, called HAL, exploits a novel automata-like model that allows finite-state verification of systems specified in the π -calculus.  ...  This article presents a semantic-based environment for reasoning about the behavior of mobile systems.  ...  ACKNOWLEDGMENTS We thank Emilio Tuosto, Bjorn Victor, and the anonymous reviewers for their suggestions.  ... 
doi:10.1145/990010.990013 fatcat:tssa6h5c75ea3llhtegvlzsdkq

Verification and Validation and Artificial Intelligence [chapter]

Tim Menzies, Charles Pecheur
2005 Advances in Computers  
Verification and validation is one method used by software analysts to gain that trust. AI systems have features that make them hard to check using conventional V&V methods.  ...  Nevertheless, as we show in this article, there are enough alternative readily-available methods that enable the V&V of AI software.  ...  Acknowledgements On a previous version of this article, Dale Pace and Steve Stevenson [147] offered some excellent guidance and Lisa Montgomery provided invaluable editorial advice.  ... 
doi:10.1016/s0065-2458(05)65004-8 fatcat:jbre7m55cnhvxhtvfxby3itzmq
« Previous Showing results 1 — 15 out of 6,434 results