10 Hits in 10.1 sec

Targeting requirements violations of autonomous driving systems by dynamic evolutionary search (HOP at GECCO'22)

Yixing Luo, Xiao-Yi Zhang, Paolo Arcaini, Zhi Jin, Haiyan Zhao, Fuyuki Ishikawa, Rongxin Wu, Tao Xie
2022 Proceedings of the Genetic and Evolutionary Computation Conference Companion  
Autonomous Driving Systems (ADSs) must satisfy multiple requirements. In some cases, satisfying all of them may not be possible due to environmental conditions.  ...  Therefore, ADSs usually make tradeoffs among the requirements, resulting in one or more requirements violations; the correctness of such trade-offs must be evaluated during testing.  ...  ACKNOWLEDGMENTS This work is supported in part by the National Natural Science Foundation of China under Grant No. 61620106007 and 61751210. X. Zhang, P. Arcaini, and F.  ... 
doi:10.1145/3520304.3534064 fatcat:isytsszzqncp3ke4um5cfj5ypu

Intelligent Flow Control under a Game Theoretic Framework [chapter]

Huimin Chen, Yanda Li
2001 Telecommunications Optimization: Heuristic and Adaptive Techniques  
Some of the software for this work used the GAlib genetic algorithm package, written by Matthew Wall at the Massachusetts Institute of Technology.  ...  Acknowledgements The node-pair encodings used in this chapter are based on an earlier encoding developed by Christos Dimitrakakis as part of an MSc in Telecommunication and Information Systems, supervised  ...  Section 15.7 looks at the links between evolutionary game theory and dynamic models driven by general agent expectations.  ... 
doi:10.1002/047084163x.ch17 fatcat:k63jsso4ingcjnkzrp2sljylb4

Evolving Distributed Algorithms With Genetic Programming

Thomas Weise, Ke Tang
2012 IEEE Transactions on Evolutionary Computation  
Definition 6.1 (Distributed System). A distributed system is a set of autonomous sys- tems (nodes) which are connected by a network and communicate via the exchange of messages.  ...  the application of a search operation to an element of the search space as neutral if it yields no change in the objective values [240, 22].  ... 
doi:10.1109/tevc.2011.2112666 fatcat:6ugekhdccvaxlktpe2tphuaxeu

Evolving distributed algorithms with genetic programming

Thomas Weise, Michael Zapf
2009 Proceedings of the first ACM/SIGEVO Summit on Genetic and Evolutionary Computation - GEC '09  
Definition 6.1 (Distributed System). A distributed system is a set of autonomous sys- tems (nodes) which are connected by a network and communicate via the exchange of messages.  ...  the application of a search operation to an element of the search space as neutral if it yields no change in the objective values [240, 22].  ... 
doi:10.1145/1543834.1543913 dblp:conf/gecco/WeiseZ09 fatcat:zssxruduxbcrnkvtkvbkk57mku

Dagstuhl Reports, Volume 9, Issue 10, October 2019, Complete Issue

Christian Heinzemann (Robert Bosch GmbH -Stuttgart, DE) License Creative Commons BY 3.0 Unported license © Christian Heinzemann Autonomous systems, particular autonomous driving systems, need to  ...  Falsification algorithms for hybrid systems aim at finding trajectories that violate a given safety property.  ...  Although evolution is not necessarily treelike at the species-level, at the level of genes, we typically assume treelike evolution.  ... 
doi:10.4230/dagrep.9.10 fatcat:4dvf4zjt4nhafhwb4ot23au3ua

Vulnerability Testing In Wireless Ad-hoc Networks Using Incremental Adaptive Corrective Learning [article]

Karel Bergmann, University Of Calgary, University Of Calgary, Jörg Denzinger
The testing of complex adaptive systems for emergent misbehaviours currently lacks any kind of automated support.  ...  In this thesis, we present Incremental Adaptive Corrective Learning, an evolutionary learning technique which automatically identifies vulnerabilities and performance-limiting behaviours induced by adversarially  ...  Acknowledgements I would like to acknowledge the support of my friends, family and supervisor in my pursuit of this work.  ... 
doi:10.11575/prism/28666 fatcat:zkhobmmianemhd4tuatuw64m4m

Aalborg Universitet Mission Planning for Unmanned Aircraft with Genetic Algorithms Mission Planning for Unmanned Aircraft with Genetic Algorithms

Karl Hansen, Damkjaer, Karl Thesis, Hansen
The graphics are produced with Inkscape and GIMP, and the photographs are produced by the research group itself or found at Flickr.  ...  This document has been typeset in Latin Modern using the L A T E X system with the Aalborg University PhD thesis template of Jesper Kjaer Nielsen.  ...  Acknowledgments This work is supported by the Danish Council for Strategic Research under grant no. 09-067027 (ASETA). See for more details.  ... 

Special Issue: Ant Colonies and Multi-Agent Systems Guest Editors: Nadia Nedjah Luiza de Macedo Mourelle

Anton Železnikar, Matjaž Gams, Jožef Stefan, Drago Torkar, Jožef Stefan, Tomaž Banovec, Ciril Baškovič, Andrej Jerman-Blažič, Jožkočuk Jožkočuk, Vladislav Rajkovič, Ivan Bratko, Marko Jagodič (+14 others)
The behavior of the global system is a result of the interaction of all the autonomous entities. The programming paradigms shift to the development of just these small entities.  ...  The PN's have proved to be good static "mappers", but their performance is degraded when used in modelling a dynamical system.  ...  Liang provided an approach for redundancy allocation [22] applicable in autonomous systems environments.  ... 

Dagstuhl Reports, Volume 6, Issue 10, September 2016, Complete Issue [article]

in the union of n arbitrary theories (including for instance propositional logic), as long as each of them comes with an MCSat-friendly inference system.  ...  Online and Adaptive Methods Markus Wagner University of Adelaide, AU We identify the notion of an MCSat-friendly inference system, and define a generic MCSat calculus that is sound and complete for satisfiability  ...  Esparcia-Alcázar, editors, Proceedings of the Genetic and Evolutionary Computation Conference, GECCO 2015, pages 1335-1342, 2015. 3 C. Fonseca.  ... 
doi:10.4230/dagrep.6.10 fatcat:wq33g6exi5bzll67no5ztodtoy

Advancing the Landscape of Multimessenger Science in the Next Decade [article]

Kristi Engel, Tiffany Lewis, Marco Stein Muzio, Tonia M. Venters, Michela Negro, Et Al, Maryland Shared Open Access Repository
The rewards for our foresight were finally realized through IceCube's discovery of the diffuse astrophys ical neutrino flux, the first observation of gravitational waves by LIGO, and the first joint detections  ...  The successes of the multimessenger campaigns of the last decade have pushed multi messenger science to the forefront of priority science areas in both the particle physics and the astrophysics communities  ...  We are grateful to the GSFC and Center leadership for their support of MOSSAIC. H.F. acknowledges support by NASA under award number 80GSFC21M0002.  ... 
doi:10.13016/m2zsai-ybdw fatcat:4psks6pqnrbwvltfqdqiqopwr4