Zobrazeno 1 - 10
of 1 950
pro vyhledávání: '"Wasowski"'
Autonomous inspection of infrastructure on land and in water is a quickly growing market, with applications including surveying constructions, monitoring plants, and tracking environmental changes in on- and off-shore wind energy farms. For Autonomou
Externí odkaz:
http://arxiv.org/abs/2412.16141
It is of utmost importance to ensure that modern data intensive systems do not leak sensitive information. In this paper, the authors, who met thanks to Joost-Pieter Katoen, discuss symbolic methods to compute information-theoretic measures of leakag
Externí odkaz:
http://arxiv.org/abs/2412.00907
Whereas the semantics of probabilistic languages has been extensively studied, specification languages for their properties have received less attention -- with the notable exception of recent and on-going efforts by Joost-Pieter Katoen and collabora
Externí odkaz:
http://arxiv.org/abs/2412.00906
Autor:
Kashani, Mahya Mohammadi, John, Tobias, Coffelt, Jeremy P., Johnsen, Einar Broch, Wasowski, Andrzej
Autonomous Underwater Vehicles (AUVs) need to operate for days without human intervention and thus must be able to do efficient and reliable task planning. Unfortunately, efficient task planning requires deliberately abstract domain models (for scala
Externí odkaz:
http://arxiv.org/abs/2410.01018
Tabular reinforcement learning methods cannot operate directly on continuous state spaces. One solution for this problem is to partition the state space. A good partitioning enables generalization during learning and more efficient exploitation of pr
Externí odkaz:
http://arxiv.org/abs/2409.16791
Autor:
Bencomo, Nelly, Cabot, Jordi, Chechik, Marsha, Cheng, Betty H. C., Combemale, Benoit, Wąsowski, Andrzej, Zschaler, Steffen
Modern software-based systems operate under rapidly changing conditions and face ever-increasing uncertainty. In response, systems are increasingly adaptive and reliant on artificial-intelligence methods. In addition to the ubiquity of software with
Externí odkaz:
http://arxiv.org/abs/2408.14074
Autor:
Mosthaf, My M., Wąsowski, Andrzej
The development of domain-specific languages (DSLs) is a laborious and iterative process that seems to naturally lean to the use of generative artificial intelligence. We design and prototype DSL Assistant, a tool that integrates generative language
Externí odkaz:
http://arxiv.org/abs/2408.09766
Autor:
Timperley, Christopher S., van der Hoorn, Gijs, Santos, André, Deshpande, Harshavardhan, Wąsowski, Andrzej
Publikováno v:
ROBUST: 221 bugs in the Robot Operating System CS Timperley, G van der Hoorn, A Santos, H Deshpande, A W\k{a}sowski Empirical Software Engineering 29 (3), 57, 2024
As robotic systems such as autonomous cars and delivery drones assume greater roles and responsibilities within society, the likelihood and impact of catastrophic software failure within those systems is increased.To aid researchers in the developmen
Externí odkaz:
http://arxiv.org/abs/2404.03629
Active learning aims to select the minimum amount of data to train a model that performs similarly to a model trained with the entire dataset. We study the potential of active learning for image segmentation in underwater infrastructure inspection ta
Externí odkaz:
http://arxiv.org/abs/2403.14002