The following pages link to Sven Schneider (Q262424):
Displayed 13 items.
- Supervisory control synthesis for deterministic context free specification languages. Enforcing controllability least restrictively (Q262426) (← links)
- Automated multi-class classification of remotely sensed hyperspectral imagery via Gaussian processes with a non-stationary covariance function (Q1798704) (← links)
- Compositional analysis of probabilistic timed graph transformation systems (Q2044184) (← links)
- Evaluation diversity for graph conditions (Q2117262) (← links)
- Interval probabilistic timed graph transformation systems (Q2117267) (← links)
- Rigorous Discretization of Hybrid Systems Using Process Calculi (Q3172859) (← links)
- Formal Verification of Invariants for Attributed Graph Transformation Systems Based on Nested Attributed Graph Conditions (Q5100737) (← links)
- Optimistic and Pessimistic On-the-fly Analysis for Metric Temporal Graph Logic (Q5100739) (← links)
- Symbolic Model Generation for Graph Properties (Q5215908) (← links)
- A logic-based incremental approach to graph repair (Q6091320) (← links)
- Metric temporal graph logic over typed attributed graphs (Q6091323) (← links)
- Bounded model checking for interval probabilistic timed graph transformation systems against properties of probabilistic metric temporal graph logic (Q6151620) (← links)
- Evaluation diversity for graph conditions (Q6156934) (← links)