The following pages link to Gera Weiss (Q832237):
Displayed 16 items.
- Adapting behaviors via reactive synthesis (Q832238) (← links)
- Mapping prefer-opposite to prefer-one de Bruijn sequences (Q1675290) (← links)
- State nullification by memoryless output feedback (Q1770229) (← links)
- Estimating the probability of meeting a deadline in schedules and plans (Q2321333) (← links)
- Ranking Automata and Games for Prioritized Requirements (Q3512497) (← links)
- Automata Based Interfaces for Control and Scheduling (Q3613004) (← links)
- State Nullification of Switched Systems by Linear Output Feedback (Q3613029) (← links)
- On Omega-Languages Defined by Mean-Payoff Conditions (Q3617739) (← links)
- Specification and Analysis of Network Resource Requirements of Control Systems (Q3624587) (← links)
- Preservation of controllability of single-input time-varying linear systems under sampling (Q5274257) (← links)
- Compositional Modeling and Analysis of Multi-Hop Control Networks (Q5347866) (← links)
- On the Succinctness of Idioms for Concurrent Programming (Q5357696) (← links)
- De Bruijn Sequences: From Games to Shift-Rules to a Proof of the Fredricksen-Kessler-Maiorana Theorem (Q6301254) (← links)
- On Embedding De Bruijn Sequences by Increasing the Alphabet Size (Q6320508) (← links)
- A Cycle Joining Construction of the Prefer-Max De Bruijn Sequence (Q6364721) (← links)
- Memoryless output nullification and canonical forms, for time varying systems (Q6475246) (← links)