Pages that link to "Item:Q3988797"
From MaRDI portal
The following pages link to Constraint logic programming for reasoning about discrete event processes (Q3988797):
Displaying 13 items.
- A temporal logic for micro- and macro-step-based real-time systems: foundations and applications (Q530560) (← links)
- A temporal logic approach to discrete event control for the safety canonical class (Q671584) (← links)
- Metric temporal logic with durations (Q673880) (← links)
- A logical characterization of timed regular languages (Q728264) (← links)
- Programming in metric temporal logic (Q1128978) (← links)
- A theory of implementation and refinement in timed Petri nets (Q1128980) (← links)
- Sooner is safer than later (Q1199553) (← links)
- Model-based inference in CHARME. (Q1342427) (← links)
- Two-sorted metric temporal logics (Q1391098) (← links)
- Logic programming foundations of cyber-physical systems (Q2883109) (← links)
- (Q4222864) (← links)
- An efficient algorithm of logic programming with constraint hierarchy (Q5096308) (← links)
- Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (Q5898789) (← links)