Výsledky vyhledávání - Computing methodologies, Knowledge representation and reasoning

Exploiting learning and scenario-based specification languages for the verification and validation of highly automated driving Autor 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…”
Získat plný text

Perspective Multi-Player Games Autor 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…”
Získat plný text

Symbolic Verification of Fuzzy Logic Models Autor 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…”
Získat plný text

Translation Titans, Reasoning Challenges: Satisfiability-Aided Language Models for Detecting Conflicting Requirements Autor 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…”
Získat plný text

Living without Beth and Craig: Definitions and Interpolants in the Guarded and Two-Variable Fragments Autor 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…”
Získat plný text

Studying Programmers Without Programming: Investigating Expertise Using Resting State fMRI Autor 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…”
Získat plný text

Asynchronous Extensions of HyperLTL Autor 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…”
Získat plný text

GlitchProber: Advancing Effective Detection and Mitigation of Glitch Tokens in Large Language Models Autor 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…”
Získat plný text

Learning from Physical Human Corrections, One Feature at a Time Autor 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…”
Získat plný text

Expressivity of Quantitative Modal Logics : Categorical Foundations via Codensity and Approximation Autor 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…”
Získat plný text

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

“…Graph model generation from natural language requirements is an essential task in software engineering, for which large language models (LLMs) have become…”
Získat plný text

SAT-Verifiable LTL Satisfiability Checking via Graph Representation Learning Autor 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…”
Získat plný text

Lightning Talk: The New Era of Computational Cognitive Intelligence Autor 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…”
Získat plný text

Relating Reading, Visualization, and Coding for New Programmers: A Neuroimaging Study Autor 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,…”
Získat plný text

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

“…Brain-inspired computing models have shown great potential to outperform today's deep learning solutions in terms of robustness and energy efficiency…”
Získat plný text

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

“…Relational Hoare logics (RHL) provide rules for reasoning about relations between programs…”
Získat plný text

Constrained LTL Specification Learning from Examples Autor 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…”
Získat plný text

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

“…The concept of bounded expansion provides a robust way to capture sparse graph classes with interesting algorithmic properties. Most notably, every problem…”
Získat plný text

On Automated Assistants for Software Development: The Role of LLMs Autor 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…”
Získat plný text

Compositional relational reasoning via operational game semantics Autor 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…”
Získat plný text