Logic in Computer Science

Authors and titles for cs.LO in Sep 2022, skipping first 50

[51]  arXiv:2209.14032 [pdf, other]

Title: Towards Runtime Monitoring of Complex System Requirements for Autonomous Driving Functions

Authors: Dominik Grundt (German Aerospace Center, Institute of Systems Engineering for Future Mobility), Anna Köhne (German Aerospace Center, Institute of Systems Engineering for Future Mobility), Ishan Saxena (German Aerospace Center, Institute of Systems Engineering for Future Mobility), Ralf Stemmer (German Aerospace Center, Institute of Systems Engineering for Future Mobility), Bernd Westphal (German Aerospace Center, Institute of Systems Engineering for Future Mobility), Eike Möhlmann (German Aerospace Center, Institute of Systems Engineering for Future Mobility)

Comments: In Proceedings FMAS2022 ASYDE2022, arXiv:2209.13181

Journal-ref: EPTCS 371, 2022, pp. 53-61

Subjects: Logic in Computer Science (cs.LO)

[52]  arXiv:2209.14036 [pdf, other]

Title: Towards a Digital Highway Code using Formal Modelling and Verification of Timed Automata

Authors: Gleifer Vaz Alves (UTFPR), Maike Schwammberger (University of Oldenburg)

Comments: In Proceedings FMAS2022 ASYDE2022, arXiv:2209.13181

Journal-ref: EPTCS 371, 2022, pp. 77-85

Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL); Software Engineering (cs.SE)

[53]  arXiv:2209.14040 [pdf, other]

Title: Scheduling of Missions with Constrained Tasks for Heterogeneous Robot Systems

Authors: Gricel Vázquez (University of York), Radu Calinescu (University of York), Javier Cámara (University of Málaga)

Comments: In Proceedings FMAS2022 ASYDE2022, arXiv:2209.13181

Journal-ref: EPTCS 371, 2022, pp. 156-174

Subjects: Logic in Computer Science (cs.LO); Multiagent Systems (cs.MA); Robotics (cs.RO)

[54]  arXiv:2209.14133 [pdf, other]

Title: Towards a Verified Tableau Prover for a Quantifier-Free Fragment of Set Theory

Authors: Lukas Stevens

Subjects: Logic in Computer Science (cs.LO)

[55]  arXiv:2209.14688 [pdf, ps, other]

Title: An Inductive Construction for Many-Valued Coalgebraic Modal Logic

Authors: Chun-Yu Lin, Churn-Jung Liau

Comments: 15 pages,submitted to a conference

Subjects: Logic in Computer Science (cs.LO)

[56]  arXiv:2209.14945 [pdf, ps, other]

Title: Asynchronous Correspondences Between Hybrid Trajectory Semantics

Authors: Patrick Cousot

Subjects: Logic in Computer Science (cs.LO); Systems and Control (eess.SY)

[57]  arXiv:2209.15492 [pdf, ps, other]

Title: Formalized Class Group Computations and Integral Points on Mordell Elliptic Curves

Authors: Anne Baanen, Alex J. Best, Nirvana Coppola, Sander R. Dahmen

Comments: 14 pages. Accepted for CPP '23. Source code available at this https URL

Subjects: Logic in Computer Science (cs.LO); Number Theory (math.NT)

[58]  arXiv:2209.00953 (cross-list from cs.AI) [pdf, other]

Title: SATformer: Transformer-Based UNSAT Core Learning

Authors: Zhengyuan Shi (1), Min Li (1), Yi Liu (1), Sadaf Khan (1), Junhua Huang (2), Hui-Ling Zhen (2), Mingxuan Yuan (2), Qiang Xu (1) ((1) The Chinese University of Hong Kong, (2) Huawei Noah's Ark Lab)

Journal-ref: In 2023 IEEE/ACM International Conference on Computer Aided Design (ICCAD) 2023 Oct 28 (pp. 1-4). IEEE

Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Logic in Computer Science (cs.LO)

[59]  arXiv:2209.01403 (cross-list from cs.AI) [pdf, other]

Title: Explainability via Short Formulas: the Case of Propositional Logic with Implementation

Authors: Reijo Jaakkola, Tomi Janhunen, Antti Kuusisto, Masood Feyzbakhsh Rankooh, Miikka Vilander

Comments: 16 pages, 1 figure. A variant of a RCRA 2022 paper. Changes to version one: typos fixed in Section 3.1

Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)

[60]  arXiv:2209.01741 (cross-list from cs.SE) [pdf, ps, other]

Title: A repository of automatic GUI test patterns in Android applications: Specification and Analysis using Alloy modeling language

Authors: Fatemeh Mosayeb, Shohreh Ajoudanian

Comments: 18 pages, 19 figures

Subjects: Software Engineering (cs.SE); Logic in Computer Science (cs.LO)

[61]  arXiv:2209.02147 (cross-list from cs.PL) [pdf, ps, other]

Title: Inferring Region Types via an Abstract Notion of Environment Transformation

Authors: Ulrich Schöpp, Chuangjie Xu

Comments: To appear at APLAS'22; arXiv version contains appendices on the construction of concatenation and join for abstract transformations and an example of type inference

Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)

[62]  arXiv:2209.02307 (cross-list from cs.AI) [pdf, other]

Title: A first-order logic characterization of safety and co-safety languages

Authors: Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta

Journal-ref: Logical Methods in Computer Science, Volume 19, Issue 3 (August 10, 2023) lmcs:10061

Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)

[63]  arXiv:2209.02353 (cross-list from cs.PL) [pdf, other]

Title: From Legal Contracts to Legal Calculi: the code-driven normativity

Authors: Silvia Crafa (University of Padova, Italy)

Comments: In Proceedings EXPRESS/SOS 2022, arXiv:2208.14777. arXiv admin note: text overlap with arXiv:2110.11069

Journal-ref: EPTCS 368, 2022, pp. 23-42

Subjects: Programming Languages (cs.PL); Computers and Society (cs.CY); Logic in Computer Science (cs.LO)

[64]  arXiv:2209.02672 (cross-list from cs.MA) [pdf, other]

Title: Bayesian Statistical Model Checking for Multi-agent Systems using HyperPCTL*

Authors: Spandan Das, Pavithra Prabhakar

Subjects: Multiagent Systems (cs.MA); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO); Robotics (cs.RO)

[65]  arXiv:2209.03266 (cross-list from cs.FL) [pdf, other]

Title: The First-Order Theory of Binary Overlap-Free Words is Decidable

Authors: L. Schaeffer, J. Shallit

Subjects: Formal Languages and Automata Theory (cs.FL); Discrete Mathematics (cs.DM); Logic in Computer Science (cs.LO); Combinatorics (math.CO); Logic (math.LO)

[66]  arXiv:2209.06455 (cross-list from cs.AI) [pdf, other]

Title: Finding Common Ground for Incoherent Horn Expressions

Authors: Ana Ozaki, Anum Rehman, Philip Turk, Marija Slavkovik

Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)

[67]  arXiv:2209.06648 (cross-list from cs.PL) [pdf, other]

Title: Automated Synthesis of Asynchronizations

Authors: Sidi Mohamed Beillahi, Ahmed Bouajjani, Constantin Enea, Shuvendu Lahiri

Comments: 37 pages, 18 figures, an extended version of a SAS 2022 paper with the same title

Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)

[68]  arXiv:2209.06722 (cross-list from cs.CR) [pdf, other]

Title: Detection of Smart Grid Integrity Attacks Using Signal Temporal Logic

Authors: José Ignacio Requeno

Comments: Editor: Geert Deconinck. 18th European Dependable Computing Conference (EDCC 2022), September 12-15, 2022, Zaragoza, Spain. Fast Abstract Proceedings - EDCC 2022

Subjects: Cryptography and Security (cs.CR); Logic in Computer Science (cs.LO)

[69]  arXiv:2209.07133 (cross-list from cs.LG) [pdf, other]

Title: COOL-MC: A Comprehensive Tool for Reinforcement Learning and Model Checking

Authors: Dennis Gross, Nils Jansen, Sebastian Junges, Guillermo A. Perez

Subjects: Machine Learning (cs.LG); Logic in Computer Science (cs.LO)

[70]  arXiv:2209.07448 (cross-list from cs.PL) [pdf, other]

Title: Proving Hypersafety Compositionally

Authors: Emanuele D'Osualdo, Azadeh Farzan, Derek Dreyer

Comments: 44 pages. Extended version of the OOPSLA'22 paper with the same title. Includes full proofs and case studies in appendix. v2 fixes typos in a derivation

Journal-ref: Proc. ACM Program. Lang. 6, OOPSLA2, Article 135 (October 2022), 26 pages (2022)

Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)

[71]  arXiv:2209.07881 (cross-list from cs.RO) [pdf, other]

Title: Model Predictive Robustness of Signal Temporal Logic Predicates

Authors: Yuanfei Lin, Haoxuan Li, Matthias Althoff

Comments: @2023 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works

Subjects: Robotics (cs.RO); Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Logic in Computer Science (cs.LO)

[72]  arXiv:2209.07948 (cross-list from cs.AI) [pdf, ps, other]

Title: User Guided Abductive Proof Generation for Answer Set Programming Queries (Extended Version)

Authors: Avishkar Mahajan, Martin Strecker, Meng Weng Wong

Comments: 18 pages

Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)

[73]  arXiv:2209.08299 (cross-list from cs.DB) [pdf, other]

Title: Synthesizing Nested Relational Queries from Implicit Specifications

Authors: Michael Benedikt, Cécilia Pradic, Christoph Wernhard

Subjects: Databases (cs.DB); Logic in Computer Science (cs.LO)

[74]  arXiv:2209.08779 (cross-list from cs.AI) [pdf, other]

Title: Neural-Symbolic Entangled Framework for Complex Query Answering

Authors: Zezhong Xu, Wen Zhang, Peng Ye, Hui Chen, Huajun Chen

Comments: Paper accepted by NeurIPS2022

Subjects: Artificial Intelligence (cs.AI); Databases (cs.DB); Logic in Computer Science (cs.LO)

[75]  arXiv:2209.09333 (cross-list from cs.FL) [pdf, ps, other]

Title: Proceedings of the 13th International Symposium on Games, Automata, Logics and Formal Verification

Authors: Pierre Ganty (IMDEA Software Institute), Dario Della Monica (University of Udine)

Journal-ref: EPTCS 370, 2022

Subjects: Formal Languages and Automata Theory (cs.FL); Computer Science and Game Theory (cs.GT); Logic in Computer Science (cs.LO)