Search Results - Theory of computation Logic Abstraction

Safe DNN-type Controller Synthesis for Nonlinear Systems via Meta Reinforcement Learning by Zhao, Hanrui, Zeng, Xia, Qi, Niuniu, Yang, Zhengfeng, Zeng, Zhenbing

“…There is a pressing need to synthesize provable safety controllers for nonlinear systems as they are embedded in many safety-critical applications. In this…”
Get full text

PolyGym: Polyhedral Optimizations as an Environment for Reinforcement Learning by Brauckmann, Alexander, Goens, Andres, Castrillon, Jeronimo

“…The polyhedral model allows a structured way of defining semantics-preserving transformations to improve the performance of a large class of loops. Finding…”
Get full text

Modeling Time in Java Programs for Automatic Error Detection by Liva, Giovanni, Khan, Muhammad Taimoor, Spegni, Francesco, Spalazzi, Luca, Bollin, Andreas, Pinzger, Martin

“…Modern programming languages, such as Java, represent time as integer variables, called timestamps. Timestamps allow developers to tacitly model incorrect time…”
Get full text

Using Behavioural Programming with Solver, Context, and Deep Reinforcement Learning for Playing a Simplified RoboCup-Type Game by Elyasaf, Achiya, Sadon, Aviran, Weiss, Gera, Yaacov, Tom

“…We describe four scenario-based implementations of controllers for a player in a simplified RoboCup-type game. All four implementations are based on the…”
Get full text

Provably-correct coordination of large collections of agents with counting temporal logic constraints by Sahin, Yunus Emre, Nilsson, Petter, Ozay, Necmiye

“…: counting temporal logic constraints. Counting constraints arise naturally in many multi-agent planning problems where the identity of the agents is not important for the task to be completed…”
Get full text

Abstraction based reachability analysis for finite branching stochastic hybrid systems by Zhang, Wenji, Prabhakar, Pavithra, Natarajan, Balasubramaniam

“… We exploit this property and extend a partition based abstraction technique developed for finite state systems to the stochastic hybrid system setting…”
Get full text

Deep Reinforcement Learning of Abstract Reasoning from Demonstrations by Clark-Turner, Madison, Begum, Momotaz

“…Extracting a set of generalizable rules that govern the dynamics of complex, high-level interactions between humans based only on observations is a high-level…”
Get full text

Compiling with Abstract Interpretation by Lesbre, Dorian, Lemerre, Matthieu

“… In this paper, we demonstrate that we can turn abstract interpreters into compilers, using a simple free algebra over the standard signature of abstract domains…”
Get full text

Holistic logical arguments in quantum computation by Chiara, Maria Luisa Dalla, Giuntini, Roberto, Leporini, Roberto, Sergioli, Giuseppe

“…Quantum computational logics represent a logical abstraction from the circuit-theory in quantum computation…”
Get full text

A Logic for Locally Complete Abstract Interpretations by Bruni, Roberto, Giacobazzi, Roberto, Gori, Roberta, Ranzato, Francesco

“…We introduce the notion of local completeness in abstract interpretation and define a logic for proving both the correctness and incorrectness of some program specification…”
Get full text

Foundations of Software Science and Computation Structures: 28th International Conference, FoSSaCS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings

“…This open access book constitutes the proceedings of the 28th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2025, which took place in Hamilton, Canada…”
Get full text

Foundations of Software Science and Computation Structures: 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II by Kobayashi, Naoki, Worrell, James

“…The two open access volumes LNCS 14574 and 14575 constitute the proceedings of the 27th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2024, which took…”
Get full text

Logic and Computation

“… “Logic and Computation 2023” of the MDPI “Mathematics” journal, covering several topics on computing science based on some form of logic…”
Get full text

Foundations of Software Science and Computation Structures: 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I by Kobayashi, Naoki, Worrell, James

“…The two open access volumes LNCS 14574 and 14575 constitute the proceedings of the 27th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2024, which took…”
Get full text

The Duality of λ-Abstraction by Choudhury, Vikraman, Gay, Simon J.

“… From this, we design a language that combines exponentials and coexponentials, producing a duality of lambda abstraction…”
Get full text

Towards Interpreting Recurrent Neural Networks through Probabilistic Abstraction by Dong, Guoliang, Wang, Jingyi, Sun, Jun, Zhang, Yang, Wang, Xinyu, Dai, Ting, Dong, Jin Song, Wang, Xingen

“…Neural networks are becoming a popular tool for solving many realworld problems such as object recognition and machine translation, thanks to its exceptional…”
Get full text

Logic programs with abstract constraint atoms: The role of computations by Liu, Lengning, Pontelli, Enrico, Son, Tran Cao, Truszczyński, Miroslaw

“…We provide a new perspective on the semantics of logic programs with arbitrary abstract constraints…”
Get full text

Abstraction in Data Integration by Cima, Gianluca, Console, Marco, Lenzerini, Maurizio, Poggi, Antonella

“…Data integration provides a unified and abstract view over a set of existing data sources…”
Get full text

Trace abstraction modulo probability by Smith, Calvin, Hsu, Justin, Albarghouthi, Aws

“…We propose trace abstraction modulo probability, a proof technique for verifying high-probability accuracy guarantees of probabilistic programs…”
Get full text

Robust Argumentation Machines: First International Conference, RATIO 2024, Bielefeld, Germany, June 5–7, 2024, Proceedings by Cimiano, Philipp, Frank, Anette, Kohlhase, Michael, Stein, Benno

“…This open access book constitutes the proceedings of the First International Conference on Robust Argumentation Machines, RATIO 2024, which took place in…”
Get full text