19 citations · 117 across the 36 of their papers we have counts for
43 papers
JAXVacua -- A Framework for Sampling String Vacua
Abhishek Dubey, Sven Krippendorf, Andreas Schachner
Moduli stabilisation in string compactifications with many light scalars remains a major blind-spot in the string landscape. In these regimes, analytic methods cease to work for ge…
DMSConfig: Automated Configuration Tuning for Distributed IoT Message Systems Using Deep Reinforcement Learning
Zhuangwei Kang, Yogesh D. Barve, Shunxing Bao +2
The Distributed Messaging Systems (DMSs) used in IoT systems require timely and reliable data dissemination, which can be achieved through configurable parameters. However, the hig…
Syntheto: A Surface Language for APT and ACL2
Alessandro Coglio, Eric McCarthy, Stephen Westfold +3
Syntheto is a surface language for carrying out formally verified program synthesis by transformational refinement in ACL2 using the APT toolkit. Syntheto aims at providing more fa…
Risk-Aware Scene Sampling for Dynamic Assurance of Autonomous Systems
Shreyas Ramakrishna, Baiting Luo, Yogesh Barve +2
Autonomous Cyber-Physical Systems must often operate under uncertainties like sensor degradation and shifts in the operating conditions, which increases its operational risk. Dynam…
Reinforcement Learning based Proactive Control for Transmission Grid Resilience to Wildfire
Salah U. Kadir, Subir Majumder, Ajay D. Chhokra +4
Power grid operation subject to an extreme event requires decision-making by human operators under stressful condition with high cognitive load. Decision support under adverse dyna…
Hierarchical Planning for Dynamic Resource Allocation in Smart and Connected Communities
Geoffrey Pettet, Ayan Mukhopadhyay, Mykel J. Kochenderfer +1
Resource allocation under uncertainty is a classical problem in city-scale cyber-physical systems. Consider emergency response as an example; urban planners and first responders op…