8 papers
Integrating High-Level Requirements to Low-Level Tests with Machine-Readable V&V Specifications
Mansur Arief, Nur Ahmad Khatim, Ali Akarma +1
Modern software teams have mature tools for low-level testing, such as pytest, JUnit, and Jest, which make it inexpensive to write unit tests and run them on every commit. Systems…
Comparing Socially-Equitable Renewable Energy Budget Allocation MDP Policies in Mature and Emerging Economies
Riya Kinnarkar, Mansur M. Arief, Yan Pratama Akhra +1
Equitable renewable-energy planning is a sequential decision problem, but the decision variables available to a public planner differ sharply between mature and emerging economies.…
Knee-xRAI: An Explainable AI Framework for Automatic Kellgren-Lawrence Grading of Knee Osteoarthritis
Azmul A. Irfan, Nur Ahmad Khatim, Alfan Alfian Irfan +3
Grading knee osteoarthritis (KOA) on plain radiographs is poorly reproducible across readers. A single-grade disagreement on the Kellgren-Lawrence (KL) scale can alter surgical man…
Optimized Human-Robot Co-Dispatch Planning for Petro-Site Surveillance under Varying Criticalities
Nur Ahmad Khatim, Mansur Arief
Securing petroleum infrastructure requires balancing autonomous system efficiency with human judgment for threat escalation, a challenge unaddressed by classical facility location…
Using LLM for Real-Time Transcription and Summarization of Doctor-Patient Interactions into ePuskesmas in Indonesia: A Proof-of-Concept Study
Nur Ahmad Khatim, Azmul Asmar Irfan, Mansur M. Arief
One of the critical issues contributing to inefficiency in Puskesmas (Indonesian community health centers) is the time-consuming nature of documenting doctor-patient interactions.…
Optimized Renewable Energy Planning MDP for Socially-Equitable Electricity Coverage in the US
Riya Kinnarkar, Mansur Arief
Traditional power grid infrastructure presents significant barriers to renewable energy integration and perpetuates energy access inequities, with low-income communities experienci…