4 papers
Stream-based Online and Offline Monitoring under Measurement Noise
Bernd Finkbeiner, Martin Fränzle, Florian Kohn +1
Stream-based monitoring is a runtime verification approach for cyber-physical systems that translates streams of input data, such as sensor readings, into streams of aggregate stat…
Pairwise Elimination with Instance-Dependent Guarantees for Bandits with Cost Subsidy
Ishank Juneja, Carlee Joe-Wong, Osman YaÄan
Multi-armed bandits (MAB) are commonly used in sequential online decision-making when the reward of each decision is an unknown random variable. In practice however, the typical go…
FedSPD: A Soft-clustering Approach for Personalized Decentralized Federated Learning
I-Cheng Lin, Osman Yagan, Carlee Joe-Wong
Federated learning has recently gained popularity as a framework for distributed clients to collaboratively train a machine learning model using local data. While traditional feder…
Analysis and Optimization of Robustness in Multiplex Flow Networks Against Cascading Failures
Orkun Ä°rsoy, Osman YaÄan
Networked systems are susceptible to cascading failures, where the failure of an initial set of nodes propagates through the network, often leading to system-wide failures. In this…