Synthesis of Switching Rules for Ensuring Reachability Properties of Sampled Linear Systems

Synthesizing Systems with Optimal Average-Case Behavior for Ratio Objectives

System Description: H-PILoT (Version 1.9)

Tableau-based decision procedure for full coalitional multiagent temporal-epistemic logic of linear tim

Tableau-based decision procedure for the multi-agent epistemic logic with all coalitional operators for common and distributed knowledge

Tableau-based decision procedure for the multi-agent epistemic logic with operators of common and distributed knowledge

Tableau-based decision procedures for logics of strategic ability in multi-agent systems

Tableau-based procedure for deciding satisfiability in the full coalitional multiagent epistemic logic

Taming Modal Impredicativity: Superlazy Reduction

Tarmo: A Framework for Parallelized Bounded Model Checking

Team-building with Answer Set Programming in the Gioia-Tauro Seaport

Temporal logic with predicate abstraction

Temporal Logics on Words with Multiple Data Values

Temporal Phylogenetic Networks and Logic Programming

Temporal Probabilistic Logic Programs: State and Revision

Temporal Runtime Verification using Monadic Difference Logic

Temporalized logics and automata for time granularity

Term Graph Rewriting and Parallel Term Rewriting

Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies

Termination Analysis of General Logic Programs for Moded Queries: A Dynamic Approach