Abstract: This paper studies the design of nondeterministic supervisors for Petri nets with uncontrollable and unobservable transitions under replacement attacks. We focus on the problem of liveness ...
Evaluating the advantages and potential drawbacks of shielding as a method for safe RL. Bettina Könighofer is an assistant ...
The method, called Verbalized Sampling (VS), helps models like GPT-4, Claude, and Gemini produce more diverse and human-like ...
Abstract: To reduce resource consumption and environmental impact, the manufacturing industry increasingly leans towards repurposing, repairing, or updating products. In a multifactory environment, ...
I would like to add a deterministic QuickSelect algorithm using the Median of Medians method under the divideandconquer package. This algorithm finds the kth smallest element in an unsorted array in O ...
A tool for modeling gene regulatory networks (GRN_modeler) and its applications to synthetic biology
Peer ReviewDownload a summary of the editorial decision process including editorial decision letters, reviewer comments and author responses to feedback. Modeling and simulating gene regulatory ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback