Logic in Computer Science

Authors and titles for November 2017

[1] arXiv:1711.00113 [pdf, other]

Title: Proving Soundness of Extensional Normal-Form Bisimilarities

Dariusz Biernacki, Serguei Lenglet, Piotr Polesiuk

Journal-ref: Logical Methods in Computer Science, Volume 15, Issue 1 (March 29, 2019) lmcs:4041

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

[2] arXiv:1711.00220 [pdf, other]

Title: The Hardness of Synthesizing Elementary Net Systems from Highly Restricted Inputs

Christian Rosenke, Ronny Tredup

Comments: Technical Report

Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC)

[3] arXiv:1711.00669 [pdf, other]

Title: Formal Feature Interpretation of Hybrid Systems

Antonio Anastasio Bruto da Costa, Goran Frehse, Pallab Dasgupta

Journal-ref: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems ( Volume: 37 , Issue: 11 , Nov. 2018 )

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

[4] arXiv:1711.00774 [pdf, other]

Title: Quantum Programming Made Easy

Luca Paolini, Luca Roversi, Margherita Zorzi

Comments: In Proceedings Linearity-TLLA 2018, arXiv:1904.06159

Journal-ref: EPTCS 292, 2019, pp. 133-147

Subjects: Logic in Computer Science (cs.LO)

[5] arXiv:1711.00878 [pdf, other]

Title: On Polymorphic Sessions and Functions: A Tale of Two (Fully Abstract) Encodings

Bernardo Toninho, Nobuko Yoshida

Comments: Extended version of ESOP'18 paper (includes appendix with proofs and additional definitions)

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

[6] arXiv:1711.01823 [pdf, other]

Title: DCSYNTH: Guided Reactive Synthesis with Soft Requirements for Robust Controller and Shield Synthesis

Amol Wakankar, Paritosh K. Pandya, Raj Mohan Matteplackel

Subjects: Logic in Computer Science (cs.LO)

[7] arXiv:1711.01863 [pdf, other]

Title: Probabilistic Model Checking for Continuous Time Markov Chains via Sequential Bayesian Inference

Dimitrios Milios, Guido Sanguinetti, David Schnoerr

Subjects: Logic in Computer Science (cs.LO)

[8] arXiv:1711.02456 [pdf, other]

Title: Self-referential basis of undecidable dynamics: from The Liar Paradox and The Halting Problem to The Edge of Chaos

Mikhail Prokopenko, Michael Harré, Joseph Lizier, Fabio Boschetti, Pavlos Peppas, Stuart Kauffman

Comments: 25 pages

Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL); Cellular Automata and Lattice Gases (nlin.CG)

[9] arXiv:1711.02503 [pdf, other]

Title: Splitting Proofs for Interpolation

Bernhard Gleiss, Laura Kovacs, Martin Suda

Comments: 26th Conference on Automated Deduction, 2017

Subjects: Logic in Computer Science (cs.LO)

[10] arXiv:1711.02843 [pdf, html, other]

Title: A logic for temporal conditionals and a solution to the Sea Battle Puzzle

Fengkui Ju, Gianluca Grilletti, Valentin Goranko

Comments: Proceedings of the 12th International Conference on Advances in Modal Logic. College Publications, 2018

Subjects: Logic in Computer Science (cs.LO)

[11] arXiv:1711.02889 [pdf, other]

Title: FO and MSO approach to Some Graph Problems: Approximation and Poly time Results

Kona Harshita, Sounaka Mishra, Renjith. P, N. Sadagopan

Subjects: Logic in Computer Science (cs.LO)

[12] arXiv:1711.03269 [pdf, other]

Title: A Canonical-based NPN Boolean Matching Algorithm Utilizing Boolean Difference and Cofactor Signature

Juling Zhang, Guowu Yang, William N. N. Hung, Jinzhao Wu

Subjects: Logic in Computer Science (cs.LO)

[13] arXiv:1711.03272 [pdf, other]

Title: Go with the Flow: Compositional Abstractions for Concurrent Data Structures (Extended Version)

Siddharth Krishna, Dennis Shasha, Thomas Wies

Comments: This is an extended version of a POPL 2018 conference paper

Subjects: Logic in Computer Science (cs.LO); Data Structures and Algorithms (cs.DS); Programming Languages (cs.PL)

[14] arXiv:1711.03363 [pdf, other]

Title: What Is Decidable about String Constraints with the ReplaceAll Function

Taolue Chen, Yan Chen, Matthew Hague, Anthony W. Lin, Zhilin Wu

Subjects: Logic in Computer Science (cs.LO)

[15] arXiv:1711.03399 [pdf, other]

Title: On First-order Cons-free Term Rewriting and PTIME

Cynthia Kop

Comments: workshop proceedings for DICE 2016

Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC)

[16] arXiv:1711.03407 [pdf, other]

Title: Higher-order Cons-free Interpreters

Cynthia Kop, Jakob Grue Simonsen

Comments: workshop proceedings for HOR 2016

Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC)

[17] arXiv:1711.03415 [pdf, other]

Title: Non-deterministic Characterisations

Cynthia Kop

Comments: workshop proceedings for WST 2016

Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC)

[18] arXiv:1711.03424 [pdf, other]

Title: Cons-free Programming with Immutable Functions

Cynthia Kop

Comments: workshop proceedings for DICE 2017

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

[19] arXiv:1711.03742 [pdf, other]

Title: Judgment aggregation in non-classical logics

Daniele Porello

Comments: To appear in Journal of Applied Non-Classical Logics

Subjects: Logic in Computer Science (cs.LO)

[20] arXiv:1711.03745 [pdf, other]

Title: Logics for modelling collective attitudes

Daniele Porello

Comments: To appear in Fundamenta Informaticae

Subjects: Logic in Computer Science (cs.LO)

[21] arXiv:1711.03826 [pdf, other]

Title: Model Checking Markov Population Models by Stochastic Approximations

Luca Bortolussi, Roberta Lanciani, Laura Nenzi

Subjects: Logic in Computer Science (cs.LO)

[22] arXiv:1711.03829 [pdf, other]

Title: Real-time Stream-based Monitoring

Peter Faymonville (1), Bernd Finkbeiner (1), Maximilian Schwenger (1), Hazem Torfah (1) ((1) Saarland University)

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

[23] arXiv:1711.03876 [pdf, other]

Title: A Proof of Stavi's Theorem

Alexander Rabinovich

Comments: arXiv admin note: text overlap with arXiv:1401.2580

Journal-ref: Logical Methods in Computer Science, Volume 14, Issue 1 (March 6, 2018) lmcs:4061

Subjects: Logic in Computer Science (cs.LO)

[24] arXiv:1711.04184 [pdf, other]

Title: Real-number Computability from the Perspective of Computer Assisted Proofs in Analysis

Małgorzata Moczurad, Piotr Zgliczyński

Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC)

[25] arXiv:1711.04240 [pdf, other]

Title: Ensuring Liveness Properties of Distributed Systems (A Research Agenda)

Rob van Glabbeek

Subjects: Logic in Computer Science (cs.LO)

[26] arXiv:1711.04718 [pdf, other]

Title: A Type Checking Algorithm for Higher-rank, Impredicative and Second-order Types

Peng Fu

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

[27] arXiv:1711.05159 [pdf, other]

Title: Classical Control, Quantum Circuits and Linear Logic in Enriched Category Theory

Mathys Rennela, Sam Staton

Journal-ref: Logical Methods in Computer Science, Volume 16, Issue 1 (March 10, 2020) lmcs:4068

Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL); Category Theory (math.CT); Operator Algebras (math.OA); Quantum Physics (quant-ph)

[28] arXiv:1711.05497 [pdf, other]

Title: Statman's Hierarchy Theorem

Bram Westerbaan, Bas Westerbaan, Rutger Kuyper, Carst Tankink, Remy Viehoff, Henk Barendregt

Journal-ref: Logical Methods in Computer Science, Volume 13, Issue 4 (November 27, 2017) lmcs:4074

Subjects: Logic in Computer Science (cs.LO)

[29] arXiv:1711.05698 [pdf, other]

Title: Efficient Verification of Multi-Property Designs (The Benefit of Wrong Assumptions) (Extended Version)

Eugene Goldberg, Matthias Gudemann, Daniel Kroening, Rajdeep Mukherjee

Comments: 6 pages, Design Automation and Test in Europe conference

Subjects: Logic in Computer Science (cs.LO)

[30] arXiv:1711.06120 [pdf, other]

Title: Game Characterization of Probabilistic Bisimilarity, and Applications to Pushdown Automata

Vojtěch Forejt, Petr Jančar, Stefan Kiefer, James Worrell

Journal-ref: Logical Methods in Computer Science, Volume 14, Issue 4 (November 15, 2018) lmcs:4077

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

[31] arXiv:1711.06361 [pdf, other]

Title: Eliminating the unit constant in the Lambek calculus with brackets

Stepan Kuznetsov

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

[32] arXiv:1711.06541 [pdf, other]

Title: Logic Bug Detection and Localization Using Symbolic Quick Error Detection

Eshan Singh, David Lin, Clark Barrett, Subhasish Mitra

Subjects: Logic in Computer Science (cs.LO)

[33] arXiv:1711.06542 [pdf, other]

Title: Mechanizing Principia Logico-Metaphysica in Functional Type Theory

Daniel Kirchner, Christoph Benzmüller, Edward N. Zalta

Comments: 14 pages, 6 figures; preprint of article with same title to appear in The Review of Symbolic Logic

Subjects: Logic in Computer Science (cs.LO)

[34] arXiv:1711.07023 [pdf, other]

Title: Verification of PCP-Related Computational Reductions in Coq

Yannick Forster, Edith Heiter, Gert Smolka

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

[35] arXiv:1711.07358 [pdf, other]

Title: Lattices and Their Consistent Quantification

Kevin H. Knuth

Comments: 33 pages, 8 figures

Journal-ref: K. H. Knuth, 2018. Lattices and their consistent quantification, Annalen der Physik, 1700370

Subjects: Logic in Computer Science (cs.LO); Discrete Mathematics (cs.DM); Combinatorics (math.CO)

[36] arXiv:1711.07786 [pdf, other]

Title: Do Hard SAT-Related Reasoning Tasks Become Easier in the Krom Fragment?

Nadia Creignou, Reinhard Pichler, Stefan Woltran

Journal-ref: Logical Methods in Computer Science, Volume 14, Issue 4 (October 31, 2018) lmcs:4091

Subjects: Logic in Computer Science (cs.LO)

[37] arXiv:1711.08076 [pdf, other]

Title: Schur Number Five

Marijn J.H. Heule

Comments: accepted by AAAI 2018

Subjects: Logic in Computer Science (cs.LO); Distributed, Parallel, and Cluster Computing (cs.DC); Discrete Mathematics (cs.DM)

[38] arXiv:1711.08191 [pdf, other]

Title: Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison

Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala

Journal-ref: ACM Trans. Comput. Logic 20 (2018) 4:1-4:31

Subjects: Logic in Computer Science (cs.LO)

[39] arXiv:1711.08699 [pdf, other]

Title: Functorial Semantics for Relational Theories

Filippo Bonchi, Dusko Pavlovic, Pawel Sobocinski

Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL); Category Theory (math.CT)

[40] arXiv:1711.08859 [pdf, other]

Title: Exploring Approximations for Floating-Point Arithmetic using UppSAT

Aleksandar Zeljic, Peter Backeman, Christoph M. Wintersteiger, Philipp Ruemmer

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

[41] arXiv:1711.09184 [pdf, other]

Title: A Formal Specification Framework for Smart Grid Components

Waseem Akram, Muaz A. Niazi

Comments: 8 pages

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

[42] arXiv:1711.09640 [pdf, other]

Title: Measurable Cones and Stable, Measurable Functions

Thomas Ehrhard (IRIF), Michele Pagani (IRIF), Christine Tasson (IRIF)

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

[43] arXiv:1711.09740 [pdf, other]

Title: Distances between States and between Predicates

Bart Jacobs, Abraham Westerbaan

Journal-ref: Logical Methods in Computer Science, Volume 16, Issue 1 (February 25, 2020) lmcs:4094

Subjects: Logic in Computer Science (cs.LO)

[44] arXiv:1711.09762 [pdf, other]

Title: A Behavioural Theory for Interactions in Collective-Adaptive Systems

Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti

Comments: 30 pages, preprint submitted to Elsevier. arXiv admin note: text overlap with arXiv:1711.06092 and arXiv:1602.05635

Subjects: Logic in Computer Science (cs.LO)

[45] arXiv:1711.10078 [pdf, other]

Title: Encoding Turing Machines into the Deterministic Lambda-Calculus

Ugo Dal Lago, Beniamino Accattoli

Subjects: Logic in Computer Science (cs.LO)

[46] arXiv:1711.10224 [pdf, other]

Title: Proceedings Sixth Workshop on Synthesis

Dana Fisman (Ben-Gurion University), Swen Jacobs (Saarland University)

Journal-ref: EPTCS 260, 2017

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

[47] arXiv:1711.10233 [pdf, other]

Title: Behavioural equivalences for timed systems

Tomasz Brengos, Marco Peressotti

Journal-ref: Logical Methods in Computer Science, Volume 15, Issue 1 (February 28, 2019) lmcs:4104

Subjects: Logic in Computer Science (cs.LO)

[48] arXiv:1711.10637 [pdf, other]

Title: Symbolic vs. Bounded Synthesis for Petri Games

Bernd Finkbeiner (1), Manuel Gieseking (2), Jesko Hecking-Harbusch (1), Ernst-Rüdiger Olderog (2) ((1) Saarland University, (2) University of Oldenburg)

Comments: In Proceedings SYNT 2017, arXiv:1711.10224

Journal-ref: EPTCS 260, 2017, pp. 23-43

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

[49] arXiv:1711.10641 [pdf, other]

Title: SyGuS Techniques in the Core of an SMT Solver

Andrew Reynolds (1), Cesare Tinelli (2) ((1) University of Iowa, (2) University of Iowa)

Comments: In Proceedings SYNT 2017, arXiv:1711.10224

Journal-ref: EPTCS 260, 2017, pp. 81-96

Subjects: Logic in Computer Science (cs.LO)

[50] arXiv:1711.10708 [pdf, other]

Title: Proceedings 10th Interaction and Concurrency Experience

Massimo Bartoletti (University of Cagliari, IT), Laura Bocchi (University of Kent, UK), Ludovic Henrio (CNRS, Sophia Antipolis, FR), Sophia Knight (Uppsala University, SE)

Journal-ref: EPTCS 261, 2017

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

[51] arXiv:1711.10860 [pdf, other]

Title: What's in a game? A theory of game models

Clovis Eberhart, Tom Hirschowitz

Comments: 17 pages

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

[52] arXiv:1711.11208 [pdf, other]

Title: Keep it Fair: Equivalences

Tobias Prehn (TU Berlin, Germany), Stephan Mennicke (TU Braunschweig, Germany)

Comments: In Proceedings ICE 2017, arXiv:1711.10708

Journal-ref: EPTCS 261, 2017, pp. 5-16

Subjects: Logic in Computer Science (cs.LO); Distributed, Parallel, and Cluster Computing (cs.DC); Formal Languages and Automata Theory (cs.FL)

[53] arXiv:1711.11209 [pdf, other]

Title: Session Types for Orchestrated Interactions

Franco Barbanera, Ugo de'Liguoro

Comments: In Proceedings ICE 2017, arXiv:1711.10708

Journal-ref: EPTCS 261, 2017, pp. 17-36

Subjects: Logic in Computer Science (cs.LO)

[54] arXiv:1711.11210 [pdf, other]

Title: Tool Supported Analysis of IoT

Chiara Bodei (Dipartimento di Informatica, Università di Pisa), Pierpaolo Degano (Dipartimento di Informatica, Università di Pisa), Letterio Galletta (Dipartimento di Informatica, Università di Pisa), Emilio Tuosto (Department of Informatics, University of Leicester)

Comments: In Proceedings ICE 2017, arXiv:1711.10708

Journal-ref: EPTCS 261, 2017, pp. 37-56

Subjects: Logic in Computer Science (cs.LO)

[55] arXiv:1711.11439 [pdf, other]

Title: The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results

Swen Jacobs (1), Nicolas Basset (2), Roderick Bloem (3), Romain Brenguier (4), Maximilien Colange (5), Peter Faymonville (1), Bernd Finkbeiner (1), Ayrat Khalimov (3), Felix Klein (1), Thibaud Michaud (5), Guillermo A. Pérez (2), Jean-François Raskin (2), Ocan Sankur (6), Leander Tentrup (1) ((1) Saarland University, (2) Université Libre de Bruxelles, (3) Graz University of Technology, (4) University of Oxford, (5) LRDE, EPITA, (6) CNRS, Irisa)

Comments: In Proceedings SYNT 2017, arXiv:1711.10224. arXiv admin note: text overlap with arXiv:1609.00507

Journal-ref: EPTCS 260, 2017, pp. 116-143

Subjects: Logic in Computer Science (cs.LO)

[56] arXiv:1711.01637 (cross-list from math.OC) [pdf, other]

Title: Optimized State Space Grids for Abstractions

Alexander Weber, Matthias Rungger, Gunther Reissig

Comments: This is the accepted version of a paper published in IEEE Trans. Automat. Control

Journal-ref: IEEE Trans. Automat. Control, vol. 62, no. 11, pp. 5816-5821, 2017

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

[57] arXiv:1711.01735 (cross-list from math.LO) [pdf, other]

Title: Computational Flows in Arithmetic

Amirhossein Akbar Tabatabai

Comments: 40 pages

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

[58] arXiv:1711.01947 (cross-list from math.LO) [pdf, other]

Title: Word problems in Elliott monoids

Daniele Mundici

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

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

Title: Small Resolution Proofs for QBF using Dependency Treewidth

Eduard Eiben, Robert Ganian, Sebastian Ordyniak

Subjects: Data Structures and Algorithms (cs.DS); Logic in Computer Science (cs.LO)

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

Title: h: A Plank for Higher-order Attribute Contraction Schemes

Cynthia Kop, Kristoffer Rose

Comments: workshop proceedings for HOR 2016

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

[61] arXiv:1711.03499 (cross-list from physics.hist-ph) [pdf, other]

Title: Constraints on physical reality arising from a formalization of knowledge

David Wolpert

Comments: 24 pages, 7 figures

Subjects: History and Philosophy of Physics (physics.hist-ph); Logic in Computer Science (cs.LO); Logic (math.LO)

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

Title: A New Proof Rule for Almost-Sure Termination

Annabelle McIver, Carroll Morgan, Benjamin Lucien Kaminski, Joost-Pieter Katoen

Comments: V1 to appear in PoPL18. This version collects some existing text into new example subsection 5.5 and adds a new example 5.6 and makes further remarks about uncountable branching. The new example 5.6 relates to work on lexicographic termination methods, also to appear in PoPL18 [Agrawal et al, 2018]

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

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

Title: Lattice embeddings between types of fuzzy sets. Closed-valued fuzzy sets

F. J. Lobillo, Luis Merino, Gabriel Navarro, Evangelina Santos

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

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

Title: Refinement Reflection: Complete Verification with SMT

Niki Vazou, Anish Tondwalkar, Vikraman Choudhury, Ryan G. Scott, Ryan R. Newton, Philip Wadler, Ranjit Jhala

Comments: 29 pages plus appendices, to appear in POPL 2018. arXiv admin note: text overlap with arXiv:1610.04641

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

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

Title: K3, L3, LP, RM3, A3, FDE: How to Make Many-Valued Logics Work for You

Allen P. Hazen, Francis Jeffry Pelletier

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

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

Title: Enabling Reasoning with LegalRuleML

Ho-Pun Lam, Mustafa Hashmi

Comments: 25 pages. Under consideration for publication in Theory and Practice of Logic Programming (TPLP)

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

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

Title: A Robust Genetic Algorithm for Learning Temporal Specifications from Data

Laura Nenzi, Simone Silvetti, Ezio Bartocci, Luca Bortolussi

Comments: 16 pages, 3 figure

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

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

Title: A Supervisory Control Algorithm Based on Property-Directed Reachability

Koen Claessen, Jonatan Kilhamn, Laura Kovács, Bengt Lennartson

Comments: 16 pages; presented at Haifa Verification Conference 2017, the final publication is available at Springer via this https URL

Journal-ref: Strichman O., Tzoref-Brill R. (eds) Hardware and Software: Verification and Testing. HVC 2017. Lecture Notes in Computer Science, vol 10629. Springer, Cham

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

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

Title: Proof Complexity Meets Algebra

Albert Atserias, Joanna Ochremiak

Subjects: Computational Complexity (cs.CC); Logic in Computer Science (cs.LO)

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

Title: SMT Queries Decomposition and Caching in Semi-Symbolic Model Checking

Jan Mrázek, Martin Jonáš, Jiří Barnat

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

[71] arXiv:1711.09326 (cross-list from math.GN) [pdf, other]

Title: A generalization of a theorem of Hurewicz for quasi-Polish spaces

Matthew de Brecht

Journal-ref: Logical Methods in Computer Science, Volume 14, Issue 1 (February 6, 2018) lmcs:4106

Subjects: General Topology (math.GN); Logic in Computer Science (cs.LO)

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

Title: Efficient reduction of nondeterministic automata with application to language inclusion testing

Lorenzo Clemente, Richard Mayr

Comments: 69 pages. arXiv admin note: text overlap with arXiv:1210.6624

Journal-ref: Logical Methods in Computer Science, Volume 15, Issue 1 (February 13, 2019) lmcs:4108

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

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

Title: The Maximal MAM, a Reasonable Implementation of the Maximal Strategy

Beniamino Accattoli

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

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

Title: CTL* synthesis via LTL synthesis

Roderick Bloem, Sven Schewe, Ayrat Khalimov

Comments: In Proceedings SYNT 2017, arXiv:1711.10224

Journal-ref: EPTCS 260, 2017, pp. 4-22

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

[75] arXiv:1711.10639 (cross-list from cs.SY) [pdf, other]

Title: A Class of Control Certificates to Ensure Reach-While-Stay for Switched Systems

Hadi Ravanbakhsh (1), Sriram Sankaranarayanan (1) ((1) University of Colorado, Boulder)

Comments: In Proceedings SYNT 2017, arXiv:1711.10224

Journal-ref: EPTCS 260, 2017, pp. 44-61

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

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

Title: A Semantic Loss Function for Deep Learning with Symbolic Knowledge

Jingyi Xu, Zilu Zhang, Tal Friedman, Yitao Liang, Guy Van den Broeck

Comments: This version appears in the Proceedings of the 35th International Conference on Machine Learning (ICML 2018)

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