Suchergebnisse - Computing methodologies, Knowledge representation and reasoning

Exploiting learning and scenario-based specification languages for the verification and validation of highly automated driving von Damm, Werner, Galbas, Roland

“… We propose a series of methods based on learning key structural properties from traffic data-basis and on statistical model checking, ultimately leading to the …”
Volltext

Perspective Multi-Player Games von Kupferman, Orna, Shenwald, Noam

“… Perspective games model multi-agent systems in which agents can view only the parts of the system that they own. Unlike the observation-based model of partial …”
Volltext

Symbolic Verification of Fuzzy Logic Models von Zhao, Siang, Li, Zhongyang, Chen, Zhenbang, Wang, Ji

“… Fuzzy logic is widely applied in various applications. However, verifying the correctness of fuzzy logic models can be difficult. This extended abstract …”
Volltext

Translation Titans, Reasoning Challenges: Satisfiability-Aided Language Models for Detecting Conflicting Requirements von Fazelnia, Mohamad, Mirakhorli, Mehdi, Bagheri, Hamid

“… While Large Language Models (LLMs) have demonstrated proficiency in natural language understanding tasks, they often struggle with the nuanced reasoning required for identifying complex requirement conflicts …”
Volltext

Living without Beth and Craig: Definitions and Interpolants in the Guarded and Two-Variable Fragments von Jung, Jean Christoph, Wolter, Frank

“… In logics with the Craig interpolation property (CIP) the existence of an interpolant for an implication follows from the validity of the implication. In …”
Volltext

Studying Programmers Without Programming: Investigating Expertise Using Resting State fMRI von Karas, Zachary, Gold, Benjamin, Zhou, Violet, Reardon, Noah, Polk, Thad, Chang, Catie, Huang, Yu

“… Expert programmers are more effective at coding activities, but the reasons for this remain elusive. Accordingly, recent research has used neuroimaging such as …”
Volltext

Asynchronous Extensions of HyperLTL von Bozzelli, Laura, Peron, Adriano, Sanchez, Cesar

“… Hyperproperties are a modern specification paradigm that extends trace properties to express properties of sets of traces. Temporal logics for hyperproperties …”
Volltext

GlitchProber: Advancing Effective Detection and Mitigation of Glitch Tokens in Large Language Models von Zhang, Zhibo, Bai, Wuxia, Li, Yuxi, Meng, Mark Huasong, Wang, Kailong, Shi, Ling, Li, Li, Wang, Jun, Wang, Haoyu

“… Large language models (LLMs) have achieved unprecedented success in the field of natural language processing. However, the black-box nature of their internal …”
Volltext

Learning from Physical Human Corrections, One Feature at a Time von Bajcsy, Andrea, Losey, Dylan P., O'Malley, Marcia K., Dragan, Anca D.

“… We focus on learning robot objective functions from human guidance: specifically, from physical corrections provided by the person while the robot is acting …”
Volltext

Expressivity of Quantitative Modal Logics : Categorical Foundations via Codensity and Approximation von Komorida, Yuichi, Katsumata, Shin-ya, Kupke, Clemens, Rot, Jurriaan, Hasuo, Ichiro

“… A modal logic that is strong enough to fully characterize the behavior of a system is called expressive. Recently, with the growing diversity of systems to be …”
Volltext

Consistent Graph Model Generation with Large Language Models von Chen, Boqi

“… Graph model generation from natural language requirements is an essential task in software engineering, for which large language models (LLMs) have become …”
Volltext

SAT-Verifiable LTL Satisfiability Checking via Graph Representation Learning von Luo, Weilin, Zheng, Yuhang, Ye, Rongzhen, Wan, Hai, Du, Jianfeng, Liang, Pingjia, Chen, Polong

“… verifies the satisfiability result. The core contribution is a new graph representation for LTL formulae - one-step unfolded graph (OSUG) to incorporate the syntax and semantic features of LTL. Preliminary results show that our approach is superior to the state-of-the-art neural approaches on synthetic datasets and confirms the effectiveness of OSUG …”
Volltext

Lightning Talk: The New Era of Computational Cognitive Intelligence von Dutt, Nikil, Donyanavard, Bryan

“… ), and the environment (e.g., context) renders ineffective the classical computational/algorithmic/numerical computing paradigm in dealing with the inherent runtime dynamism and uncertainty faced by emerging systems …”
Volltext

Relating Reading, Visualization, and Coding for New Programmers: A Neuroimaging Study von Endres, Madeline, Karas, Zachary, Hu, Xiaosu, Kovelman, Ioulia, Weimer, Westley

“… Understanding how novices reason about coding at a neurological level has implications for training the next generation of software engineers. In recent years, …”
Volltext

Lightning Talk: Bridging Neuro-Dynamics and Cognition von Imani, Mohsen

“… Brain-inspired computing models have shown great potential to outperform today's deep learning solutions in terms of robustness and energy efficiency …”
Volltext

Alignment Completeness for Relational Hoare Logics von Nagasamudram, Ramana, Naumann, David A.

“… Relational Hoare logics (RHL) provide rules for reasoning about relations between programs …”
Volltext

Constrained LTL Specification Learning from Examples von Zhang, Changjian, Kapoor, Parv, Dardik, Ian, Cui, Leyi, Meira-Goes, Romulo, Garlan, David, Kang, Eunsuk

“… Temporal logic specifications play an important role in a wide range of software analysis tasks, such as model checking, automated synthesis, program …”
Volltext

Lacon- and Shrub-Decompositions: A New Characterization of First-Order Transductions of Bounded Expansion Classes von Dreier, Jan

“… The concept of bounded expansion provides a robust way to capture sparse graph classes with interesting algorithmic properties. Most notably, every problem …”
Volltext

On Automated Assistants for Software Development: The Role of LLMs von Leung, Mira, Murphy, Gail

“… Software developers handle many complex tasks that include gathering and applying domain knowledge, coordinating subtasks, designing interfaces, turning ideas into elegant code …”
Volltext

Compositional relational reasoning via operational game semantics von Jaber, Guilhem, Murawski, Andrzej S.

“… We show how to use operational game semantics as a guide to develop relational techniques for establishing contextual equivalences with respect to contexts …”
Volltext