Synthesis and verification of discrete controllers for robotics and manufacturing devices with temporal logic and the control-D system

@inproceedings{Antoniotti1996SynthesisAV,
  title={Synthesis and verification of discrete controllers for robotics and manufacturing devices with temporal logic and the control-D system},
  author={Marco Antoniotti and Mohsen Jafari},
  year={1996}
}
To my sister Franca, who made this a better world To my nephew Tommaso and my niece A gnese, who will make this a better world To Mary, who makes this a better world iv Acknowledgments I am really indebted to m y advisor Bud Mishra for his continuous support and friendship during m y y ears as a graduate s t udent. He has been a been a guide t hrough elds that w ere unknown to m e a n d h as been a guide d uring troubled times. There are still many elds I will need to w ander through and I am… CONTINUE READING

Citations

Publications citing this paper.
SHOWING 1-10 OF 25 CITATIONS, ESTIMATED 35% COVERAGE

72 Citations

0510'95'00'06'12'18
Citations per Year
Semantic Scholar estimates that this publication has 72 citations based on the available data.

See our FAQ for additional information.

References

Publications referenced by this paper.

Similar Papers

Loading similar papers…