Search Results - temporal concurrency constraint programming

Formal semantics for interactive music scores: a framework to design, specify properties and execute interactive scenarios by Toro, Mauricio, Desainte-Catherine, Myriam, Rueda, Camilo

“… Interactive scores (is) is a formalism based on temporal constraints to describe interactive scenarios…”
Get full text

Abstract interpretation of temporal concurrent constraint programs by FALASCHI, MORENO, OLARTE, CARLOS, PALAMIDESSI, CATUSCIA

“…Timed Concurrent Constraint Programming (tcc) is a declarative model for concurrency offering a logic for specifying reactive systems, i.e…”
Get full text

Temporal Planning via Interval Logic Satisfiability for Autonomous Systems by Ramirez, Miquel, Singh, Anubhav, Stuckey, Peter, Manzie, Chris

“… We propose a notion of planning graphs that can account for complex concurrency relations between actions and fluents as a Constraint Programming (CP) model…”
Get full text

Abstract Interpretation of Temporal Concurrent Constraint Programs by Moreno Falaschi, Olarte, Carlos, Palamidessi, Catuscia

“…Timed Concurrent Constraint Programming (tcc) is a declarative model for concurrency offering a logic for specifying reactive systems, i.e…”
Get full text

Autonomous Runtime Composition of Sensor-Based Skills Using Concurrent Task Planning by Pane, Yudha, Mokhtari, Vahid, Aertbelien, Erwin, De Schutter, Joris, Decre, Wilm

“…Constraint-based robot programming allows for implementing sensor-based skills that react to disturbances on the one hand, and composable skills that dynamically create and reconfigure complex robot…”
Get full text

A Symbolic Model for Timed Concurrent Constraint Programming by Arias, Jaime, Guzmán, Michell, Olarte, Carlos

“…Concurrent Constraint Programming (ccp) is a model for concurrency where agents interact with each other by telling and asking constraints (i.e., formulas in logic…”
Get full text

Optimal Control of Information Dissemination Based on Model‐Free Reinforcement Learning by Xia, Dan, Xu, Enyu, Tian, Yuan, Min, Qiusha

“… To address the optimal control problem under such model‐free constraints, this paper aims to minimize the cumulative cost of epidemic…”
Get full text

Coordination of Multirobot Systems Under Temporal Constraints by Şahin, Yunus Emre

“…Multirobot systems have great potential to change our lives by increasing efficiency or decreasing costs in many applications, ranging from warehouse logistics…”
Get full text

Decidability of infinite-state timed CCP processes and first-order LTL by Valencia, Frank D.

“…The ntcc process calculus is a timed concurrent constraint programming (ccp) model equipped with a first-order linear-temporal logic (LTL…”
Get full text

Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I by Silva, Alexandra, Leino, K. Rustan M

“… The papers were organized in the following topical sections: Part I: invited papers; AI verification; concurrency and blockchain…”
Get full text

A semantic framework for the abstract model checking of tccp programs by Alpuente, María, del Mar Gallardo, María, Pimentel, Ernesto, Villanueva, Alicia

“…The Timed Concurrent Constraint programming language ( tccp) introduces time aspects into the Concurrent Constraint paradigm…”
Get full text

Programming and Managing the Swarm -- An Operating System for an Emerging System of Mobile Devices by Graff, Daniel, Richling, Jan, Werner, Matthias

“… We provide a programming model for distributed mobile applications that abstracts from error-prone aspects such as distribution and concurrency…”
Get full text

Temporal planning for rich numeric contexts by Bajada, Josef

“…Real-world planning problems often feature complex temporal and numeric characteristics…”
Get full text

Distributed Active Objects -- A Systemic Approach to Distributed Mobile Applications by Graff, Daniel, Richling, Jan, Stupp, T. M., Werner, M.

“…Designing cyber-physical systems (CPS) requires consideration of interactions between several computing and non-computing elements and, thus, consideration of concurrency of actions…”
Get full text

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II by Beyer, Dirk, Huisman, Marieke

“…; program compilers; programming languages; semantics; software engineering; specifications; state space; verification…”
Get full text

Joe Celko's SQL for Smarties: Advanced SQL Programming by Celko, Joe

“…A completely revised edition of the classic advanced SQL book!…”
Get full text

Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I by Dillig, Isil, Tasiran, Serdar

“…; distributed systems and networks; verification and invariants; and concurrency…”
Get full text

Formal analysis of the alternating bit protocol by temporal Petri nets by Suzuki, I.

“…Temporal Petri nets are Petri nets in which certain restrictions on the firings of transitions are represented by formulas containing temporal operators…”
Get full text

On temporal planning as CSP by Mali, A.D.

“…Recent advances in constraint satisfaction and heuristic search have made it possible to solve classical planning problems significantly faster…”
Get full text

Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22–27, 2023, Proceedings, Part II by Sankaranarayanan, Sriram, Sharygina, Natasha

“…This open access book constitutes the proceedings of the 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems,…”
Get full text