Computation Tree Logic

Computation Tree Logic (CTL) is a formal system for specifying and verifying properties of branching-time systems, finding applications in diverse fields like planning and verification of AI systems. Current research emphasizes extending CTL's capabilities, including incorporating probabilistic reasoning (probabilistic CTL or pCTL), integrating it with reinforcement learning for policy verification, and developing methods to improve the explainability and usability of CTL-based tools, particularly for non-experts. These advancements are driving progress in areas such as automated theorem proving, model checking of complex systems, and the development of more robust and trustworthy AI agents.

Papers

October 30, 2024

Next-Token Prediction Task Assumes Optimal Data Ordering for LLM Training in Proof Generation
Chenyang An, Shima Imani, Feng Yao, Chengyu Dong, Ali Abbasi, Harsh Shrivastava, Samuel Buss, Jingbo Shang, Gayathri Mahalingam, Pramod Sharma, Maurice Diesendruck
Large Language Model Training Data Propositional Logic Proof Generation Computation Tree Logic

July 15, 2024

Enabling MCTS Explainability for Sequential Planning Through Computation Tree Logic
Ziyan An, Hendrik Baier, Abhishek Dubey, Ayan Mukhopadhyay, Meiyi Ma
Monte Carlo Tree Search Sequential Planning Computation Tree Logic

April 10, 2024

Learn from Failure: Fine-Tuning LLMs with Trial-and-Error Data for Intuitionistic Propositional Logic Proving
Chenyang An, Zhibo Chen, Qihao Ye, Emily First, Letian Peng, Jiayun Zhang, Zihan Wang, Sorin Lerner, Jingbo Shang
Medical LLM Theorem Proving Unseen Entity Software Failure Computation Tree Logic Trial and Error Proof Strategy

March 27, 2024

Probabilistic Model Checking of Stochastic Reinforcement Learning Policies
Dennis Gross, Helge Spieker
Markov Decision Process Model Checking Reinforcement Learning Policy Computation Tree Logic Probabilistic Model Checking

November 20, 2023

A New Approach to Intuitionistic Fuzzy Decision Making Based on Projection Technology and Cosine Similarity Measure
Jing Yang, Wei Su
Novel Approach Cosine Similarity Multi Criterion Decision Camera Projection Intuitionistic Fuzzy Computation Tree Logic Interval Valued Intuitionistic Fuzzy

October 3, 2023

Reasoning about Intuitionistic Computation Tree Logic
Davide Catta, Vadim Malvone, Aniello Murano
Formal Verification Fixed Point Computation Tree Logic

March 20, 2023

Evidential Transactions with Cyberlogic
Harald Ruess, Natarajan Shankar
Dynamic Epistemic Logic Cryptographic Protocol Computation Tree Logic Evidential Transaction

February 26, 2023

Strategic (Timed) Computation Tree Logic
Jaime Arias, Wojciech Jamroga, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk
General Strategy Timing Analysis Model Checking CTC Based Asynchronous Execution Alternating Time Temporal Logic Computation Tree Logic

November 7, 2022

Learning Probabilistic Temporal Safety Properties from Examples in Relational Domains
Gavin Rens, Wen-Chi Yang, Jean-François Raskin, Luc De Raedt
Reinforcement Learning Fewer Example Model Checking Relational Learning Relational Domain Computation Tree Logic

April 6, 2022

Adversarial Learning to Reason in an Arbitrary Logic
Stanisław J. Purgał, Cezary Kaliszyk
Reinforcement Learning Adversarial Learning Reason Giving Valued Logic Arbitrary Natural Language Text Computation Tree Logic

November 17, 2021

Topological and Algebraic Structures of Atanassov's Intuitionistic Fuzzy-Values Space
Xinxing Wu, Tao Wang, Qian Liu, Peide Liu, Guanrong Chen, Xu Zhang
Deep Space Topological Feature Intuitionistic Fuzzy Algebraic Structure Computation Tree Logic Topological Ordering

Computation Tree Logic

Papers

Next-Token Prediction Task Assumes Optimal Data Ordering for LLM Training in Proof Generation

Enabling MCTS Explainability for Sequential Planning Through Computation Tree Logic

Learn from Failure: Fine-Tuning LLMs with Trial-and-Error Data for Intuitionistic Propositional Logic Proving

Probabilistic Model Checking of Stochastic Reinforcement Learning Policies

A New Approach to Intuitionistic Fuzzy Decision Making Based on Projection Technology and Cosine Similarity Measure

Reasoning about Intuitionistic Computation Tree Logic

Evidential Transactions with Cyberlogic

Strategic (Timed) Computation Tree Logic

Learning Probabilistic Temporal Safety Properties from Examples in Relational Domains

Adversarial Learning to Reason in an Arbitrary Logic

Topological and Algebraic Structures of Atanassov's Intuitionistic Fuzzy-Values Space