conftrace_

formal specification

16 papers

Explore in graph

Co-occurring keywords

linear temporal logic (82) large language model (13587) signal temporal logic (18) temporal logic (105) formal verification (284) steady-state constraint (1) declarative process specification (1) human interpretability (2) reward monitoring (1) quantitative logic (1)

Papers

Specification-Guided Reinforcement Learning AAAI 2026
Expressive Temporal Specifications for Reward Monitoring AAAI 2026
Are Large Language Models Fluent in Declarative Process Mining? IJCAI 2025
From Informal to Formal – Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs ACL 2025
Merging Two Grammar Worlds: Exploring the Relationship between Universal Dependencies and Signal Temporal Logic AACL 2025
Can LLMs Reason About Program Semantics? A Comprehensive Evaluation of LLMs on Formal Specification Inference ACL 2025
Requirement Patterns for Engineering Multiagent Interaction Protocols IJCAI 2025
Reward Machines for Deep RL in Noisy and Uncertain Environments NIPS 2024
IronSpec: Increasing the Reliability of Formal Specifications OSDI 2024
STL: Still Tricky Logic (for System Validation, Even When Showing Your Work) NIPS 2024
AR-Pro: Counterfactual Explanations for Anomaly Repair with Formal Properties NIPS 2024
Follow my Advice: Assume-Guarantee Approach to Task Planning with Human in the Loop RSS 2023
CatlNet: Learning Communication and Coordination Policies from CaTL+ Specifications L4DC 2023
NL2TL: Transforming Natural Languages to Temporal Logics using Large Language Models EMNLP 2023
LTL-Constrained Steady-State Policy Synthesis IJCAI 2021
Steady-State Policy Synthesis in Multichain Markov Decision Processes IJCAI 2020